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