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