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