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