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