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