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