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