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