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