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