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