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