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