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