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