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