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