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