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