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