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