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