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