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