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