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