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