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