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