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