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