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