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