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