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