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