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