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