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