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