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