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