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