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