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