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