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