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