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