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