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