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