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