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