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