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