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