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