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