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