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