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