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