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