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