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