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