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