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