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