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