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