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