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