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