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