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