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