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