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