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