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