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