c This Formular is generated by mcnf
c
c    horn? no 
c    forced? no 
c    mixed sat? no 
c    clause length = 3 
c
p cnf 100  430 
 -69 74 -67 0
85 26 -58 0
15 68 33 0
36 -42 -22 0
61 -47 -66 0
-88 41 -50 0
44 -24 -87 0
71 80 61 0
-39 -48 52 0
35 -21 -86 0
77 -39 98 0
-89 37 62 0
68 9 6 0
-38 51 64 0
27 45 -44 0
-70 22 34 0
-5 37 63 0
-92 78 10 0
-13 43 -72 0
100 -58 -28 0
-38 39 94 0
-98 -12 -79 0
-61 -69 -68 0
-92 -78 15 0
-46 -55 -3 0
45 36 11 0
-81 -4 29 0
49 -25 74 0
89 86 -17 0
-49 -94 26 0
23 11 -58 0
-51 -30 68 0
-85 -38 -57 0
98 43 -37 0
86 94 80 0
-34 -67 57 0
56 51 36 0
56 -14 63 0
-64 -70 59 0
-85 -69 98 0
-10 13 9 0
71 -61 -59 0
-31 -40 -2 0
-10 15 44 0
-74 -100 -96 0
13 73 -88 0
-30 10 53 0
-76 47 77 0
-52 49 -44 0
22 -91 58 0
-93 -75 94 0
73 25 -42 0
62 -89 3 0
67 18 91 0
68 -35 -99 0
47 44 35 0
73 96 -55 0
-71 83 56 0
16 -88 -39 0
15 -66 86 0
74 -37 80 0
-39 -49 100 0
61 34 3 0
-38 23 12 0
28 -44 -75 0
50 31 -3 0
33 -77 -28 0
-53 30 24 0
-79 -84 -53 0
-100 88 -25 0
41 -51 -12 0
22 13 -28 0
-40 -97 -27 0
94 31 57 0
-26 -21 4 0
32 -36 55 0
94 100 -47 0
18 -89 88 0
-17 -45 -70 0
-89 -17 11 0
-97 98 42 0
85 -34 -20 0
22 72 57 0
48 32 53 0
7 -94 59 0
-24 83 -22 0
86 19 95 0
73 -71 20 0
-36 27 -67 0
-31 -50 -65 0
14 -92 -34 0
-98 43 86 0
-41 20 -7 0
-95 -84 -13 0
-33 -3 -6 0
-48 6 64 0
48 38 63 0
-70 71 -29 0
-61 -26 60 0
29 20 35 0
-7 64 -31 0
92 10 -55 0
-95 10 -94 0
31 -67 -30 0
-32 -73 96 0
73 -52 53 0
-35 87 -34 0
53 -7 83 0
16 7 90 0
7 41 15 0
-23 78 55 0
99 55 37 0
-5 97 56 0
11 58 38 0
-43 9 -87 0
62 33 -71 0
66 6 -47 0
52 42 87 0
-39 40 -86 0
22 84 96 0
-2 3 38 0
64 -85 -51 0
-1 39 -29 0
16 -84 98 0
-89 -81 -22 0
90 -92 -65 0
73 28 -68 0
10 39 93 0
-96 42 -21 0
-32 30 60 0
-16 4 41 0
64 5 -31 0
-85 -37 8 0
14 -71 75 0
-13 95 -47 0
-22 63 -64 0
-65 6 100 0
-65 -20 63 0
-6 10 -7 0
96 56 66 0
-2 50 75 0
-61 -76 -22 0
87 35 -78 0
-87 -13 83 0
64 88 82 0
41 -31 -60 0
-32 58 45 0
-11 -5 -51 0
61 40 -70 0
-70 97 -49 0
62 -66 10 0
91 -12 -64 0
51 -75 86 0
59 -23 80 0
89 -37 9 0
17 -50 -99 0
-31 -61 -91 0
-76 47 -31 0
-1 5 -16 0
93 -22 19 0
35 76 56 0
13 32 -86 0
-59 -1 -28 0
-82 62 79 0
-80 35 -33 0
-4 70 -68 0
-84 16 100 0
-50 -77 -25 0
52 47 -48 0
-42 23 -24 0
67 -24 29 0
2 65 -48 0
26 -83 42 0
-35 12 -54 0
-71 -84 21 0
-54 -25 65 0
-14 -61 10 0
26 -87 -68 0
-71 98 29 0
24 -22 -47 0
-71 -5 -52 0
66 -24 7 0
53 72 -75 0
95 79 -58 0
-49 -54 -19 0
83 -42 -3 0
31 -60 -89 0
-86 -39 -45 0
-21 -54 -30 0
-76 26 -15 0
-92 3 27 0
60 67 -80 0
-21 90 -5 0
17 71 -18 0
8 24 19 0
8 10 -43 0
55 63 46 0
1 -30 -39 0
-69 -12 58 0
-80 -66 31 0
-38 94 -57 0
59 83 23 0
-55 17 -62 0
81 -91 68 0
-46 -56 -91 0
-24 -92 -71 0
-41 31 -82 0
-95 -90 15 0
-12 64 27 0
-4 48 59 0
72 47 -5 0
42 69 6 0
20 -25 31 0
-71 -92 -77 0
-1 -74 26 0
-72 -39 96 0
-51 23 91 0
98 -65 47 0
41 -69 -18 0
95 67 61 0
-69 -97 68 0
-87 -24 71 0
100 78 -80 0
-72 47 -89 0
-58 79 -36 0
47 -1 -31 0
-97 -50 -75 0
-55 44 -20 0
-6 -68 -80 0
27 -59 -90 0
-51 63 -84 0
58 33 -13 0
7 65 21 0
-18 -30 -9 0
51 26 47 0
-94 81 72 0
41 -99 53 0
-38 15 -50 0
-82 -68 -100 0
-29 92 35 0
63 2 14 0
81 -41 62 0
63 -10 -26 0
3 56 -32 0
90 62 89 0
-67 94 -11 0
-1 14 -94 0
-74 10 76 0
-63 24 5 0
-92 16 99 0
90 -6 -23 0
54 86 70 0
-13 22 27 0
37 -84 -71 0
-79 69 -12 0
7 38 56 0
-86 92 -28 0
-72 52 97 0
45 77 -1 0
12 -96 -46 0
74 80 -31 0
-71 95 -60 0
-73 21 -50 0
-86 -64 -65 0
64 91 -78 0
3 87 31 0
-2 -87 -34 0
59 57 4 0
-97 -12 -86 0
44 -62 -55 0
72 73 -54 0
-42 -7 57 0
-58 27 98 0
-84 -32 35 0
-34 -37 -94 0
55 28 37 0
79 71 49 0
-76 -4 -42 0
96 50 8 0
-63 52 -37 0
-20 94 -21 0
99 81 -21 0
62 -91 71 0
-80 -59 85 0
88 51 -55 0
17 -27 -87 0
88 81 -70 0
75 -89 76 0
-81 -72 -98 0
69 -46 38 0
17 86 -71 0
-92 10 -34 0
45 92 50 0
-59 -18 -14 0
-43 -53 -18 0
-24 -92 -73 0
-48 86 4 0
-43 91 13 0
35 70 -67 0
21 69 -3 0
-26 -73 -71 0
-92 -15 -50 0
16 39 -86 0
77 -65 -44 0
-33 59 -97 0
-96 80 46 0
-84 -61 -60 0
95 41 -23 0
89 -1 43 0
-33 51 -3 0
-38 -53 -91 0
45 -22 54 0
96 -17 -71 0
9 54 12 0
42 -96 -80 0
43 -92 40 0
-8 21 24 0
10 -17 80 0
-44 -24 60 0
95 65 -86 0
83 -11 13 0
-24 6 38 0
-95 -43 55 0
-22 -23 48 0
-87 70 82 0
-45 92 -11 0
72 32 2 0
47 -11 71 0
-25 -5 71 0
-89 72 16 0
-71 89 17 0
-77 18 -56 0
-7 -72 -83 0
-26 -97 -71 0
-43 59 -28 0
-83 -100 60 0
-24 57 23 0
51 41 -20 0
-100 44 -89 0
-26 83 17 0
-24 23 44 0
90 46 80 0
-60 76 -55 0
-72 -9 -16 0
19 -5 -38 0
80 -81 1 0
47 -54 -69 0
-41 25 -68 0
-68 77 -85 0
-38 -56 67 0
-54 -71 -5 0
77 -41 -23 0
37 7 13 0
-81 -70 94 0
-28 -91 -87 0
18 -19 49 0
91 -49 82 0
2 30 -56 0
32 -15 -27 0
56 7 70 0
-21 18 53 0
-11 31 -74 0
-41 -46 97 0
-53 91 47 0
58 71 33 0
62 34 -52 0
40 13 -22 0
-81 45 -12 0
-9 -92 -61 0
81 -29 -47 0
-47 18 -93 0
90 -72 7 0
-77 65 -55 0
59 50 -87 0
95 -85 86 0
-100 44 -59 0
-88 31 63 0
-5 18 -12 0
55 -65 4 0
-98 78 -92 0
-26 18 -32 0
75 -98 3 0
-84 -97 -62 0
-49 -11 32 0
-60 49 93 0
-39 58 29 0
43 -17 37 0
89 37 -25 0
17 81 92 0
-64 92 91 0
-66 -82 81 0
-33 94 -38 0
-97 -27 21 0
-93 40 42 0
64 26 60 0
87 -30 -19 0
-32 -88 20 0
-98 -6 37 0
67 -4 -30 0
-12 39 91 0
97 -31 69 0
-67 -1 -7 0
3 69 -91 0
76 10 58 0
-71 30 72 0
-1 98 46 0
-88 -80 -15 0
-80 68 -55 0
-26 -82 7 0
-17 58 -54 0
3 -19 -51 0
-63 -75 44 0
64 49 -77 0
16 45 -66 0
-47 44 10 0
54 -34 47 0
68 44 -8 0
-20 84 25 0
81 18 89 0
98 -88 -61 0
-36 41 25 0
15 13 -49 0
99 44 -53 0
-68 -21 73 0
73 -64 -100 0
24 -7 -28 0
53 3 86 0
70 24 -53 0
77 -14 -15 0
-61 -42 45 0
%
0