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