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