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