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