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