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