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