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