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