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