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