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