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