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