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