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