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