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 75  325 
 -57 67 61 0
-60 11 -22 0
-34 -12 -72 0
26 -42 -27 0
-59 51 24 0
-5 -6 28 0
16 32 -46 0
33 49 -3 0
-14 -44 -16 0
-33 57 23 0
63 45 17 0
66 -50 70 0
-55 43 -57 0
-42 32 -35 0
-21 47 -49 0
71 -17 -36 0
-45 -42 -14 0
-66 27 -22 0
42 67 69 0
-69 52 54 0
-33 15 -23 0
-32 72 39 0
-25 -38 47 0
-38 53 3 0
-33 60 -63 0
32 -19 16 0
57 42 -52 0
52 26 25 0
32 60 -64 0
44 -56 -58 0
-25 12 -6 0
54 -17 19 0
-18 -21 -46 0
-53 75 -52 0
40 3 55 0
9 59 46 0
66 3 -23 0
-28 50 -12 0
-66 70 54 0
42 1 -15 0
56 -31 -32 0
-33 -35 58 0
-46 -71 65 0
37 59 1 0
-28 67 -37 0
-16 68 -15 0
27 52 -20 0
24 -2 -59 0
19 21 -36 0
55 63 -53 0
1 45 58 0
75 -44 53 0
-7 1 -10 0
43 -32 -14 0
-65 -30 -37 0
32 -46 -36 0
-16 61 -21 0
2 13 74 0
6 -45 43 0
68 37 47 0
-20 -35 -63 0
-32 -65 -35 0
-49 -60 -52 0
59 2 -24 0
44 -13 34 0
32 -61 -72 0
68 -72 35 0
-66 -22 -2 0
-22 52 74 0
-41 -46 -32 0
36 17 59 0
2 -27 -20 0
-53 45 13 0
-51 33 -57 0
67 -43 30 0
21 1 -32 0
-27 -34 -19 0
-38 47 -41 0
-56 -1 9 0
-23 -42 54 0
67 10 -21 0
15 40 12 0
-29 49 53 0
-46 -6 -4 0
-66 -65 20 0
63 -34 18 0
-60 72 71 0
-2 -58 56 0
-57 22 -10 0
-39 66 43 0
66 22 43 0
39 15 -21 0
40 -12 32 0
25 48 29 0
-11 -72 -21 0
63 -45 2 0
55 -17 -46 0
51 15 -68 0
-14 59 -31 0
72 29 -60 0
-72 69 -9 0
29 -4 -74 0
-55 68 46 0
-75 11 -60 0
-38 -56 -33 0
-51 56 -6 0
-2 9 -71 0
54 -68 -42 0
-54 53 4 0
-11 58 -13 0
-41 -12 -56 0
39 -62 69 0
-8 -39 -74 0
-42 41 -30 0
3 -15 -32 0
-14 -24 -5 0
-55 -33 51 0
-53 -75 51 0
-16 28 57 0
63 45 -62 0
17 -51 -59 0
65 -4 -24 0
-15 -70 -59 0
-18 -59 73 0
31 32 74 0
-72 -50 -3 0
-29 50 -52 0
36 25 42 0
-64 33 68 0
16 63 69 0
-41 -2 44 0
-11 -36 -68 0
-22 72 6 0
29 44 -8 0
-31 -64 -38 0
-10 -72 -66 0
-69 -64 -13 0
26 -73 -56 0
-45 67 36 0
-22 37 26 0
-48 -16 38 0
-62 58 28 0
73 -32 -67 0
-73 -61 -19 0
-72 28 5 0
-27 -48 40 0
5 28 -16 0
43 74 -6 0
18 -25 -60 0
15 -71 3 0
44 -3 -9 0
-41 71 3 0
31 70 1 0
36 47 -52 0
-70 -22 47 0
-34 10 25 0
17 -58 -12 0
22 71 -34 0
50 67 -34 0
-2 6 62 0
71 37 -38 0
-36 -21 38 0
-11 61 73 0
-32 57 21 0
31 -9 -37 0
45 -53 2 0
62 33 -26 0
26 -16 -51 0
-52 17 -40 0
-28 -38 55 0
30 25 15 0
-36 -18 -45 0
52 -66 27 0
-65 -68 49 0
14 37 75 0
-33 -41 -52 0
25 -14 33 0
62 -45 -72 0
-23 48 -39 0
16 -48 75 0
52 -10 -56 0
-16 22 -65 0
-54 19 -15 0
-23 -55 46 0
25 66 52 0
39 58 38 0
-71 -26 57 0
-30 53 -33 0
42 50 44 0
-16 61 10 0
-21 -48 72 0
-18 -63 33 0
-14 -3 8 0
37 13 -10 0
25 39 -31 0
-49 52 13 0
53 -52 -68 0
-41 66 44 0
9 73 -28 0
65 -27 -16 0
-61 34 -24 0
-3 -56 35 0
36 31 -2 0
-20 13 -36 0
-25 -21 -66 0
12 26 9 0
-18 26 -68 0
-64 -57 13 0
-28 -6 63 0
-3 -4 -17 0
55 70 1 0
33 -45 -5 0
-73 47 74 0
15 38 43 0
-29 -18 -30 0
-37 -40 69 0
-51 11 -56 0
-42 18 -17 0
55 19 11 0
48 50 44 0
-1 57 -68 0
-5 -70 57 0
-31 -17 20 0
21 -37 -44 0
58 32 -39 0
-54 35 -39 0
-17 33 52 0
75 49 43 0
44 -41 -62 0
2 54 40 0
58 70 -62 0
-45 -55 -21 0
-43 -47 -16 0
-31 33 -26 0
45 8 72 0
32 70 -26 0
62 68 28 0
-56 -3 -73 0
-35 -21 -61 0
-34 -58 53 0
75 64 35 0
5 -4 -36 0
-68 42 -59 0
22 -53 -68 0
-63 -75 25 0
50 -42 8 0
-18 -63 -22 0
40 -67 -26 0
-70 1 35 0
-30 71 -1 0
74 11 -9 0
-24 38 -55 0
-30 55 47 0
-38 -72 26 0
-74 -14 -29 0
-42 -67 75 0
43 -20 -57 0
-3 -19 -53 0
73 37 52 0
56 32 -50 0
-74 -73 34 0
-18 -16 -51 0
-72 41 -59 0
29 12 -19 0
41 16 -9 0
57 24 37 0
46 38 -26 0
-62 34 -30 0
-27 -36 55 0
22 7 -31 0
69 3 4 0
-41 65 63 0
55 -72 -58 0
52 68 -27 0
47 59 73 0
-58 -8 -21 0
-11 -3 -29 0
22 -48 36 0
71 -34 69 0
14 -37 15 0
-30 21 -35 0
-15 17 -75 0
-6 -36 42 0
42 -37 -56 0
67 71 -7 0
-34 37 -65 0
-65 -26 13 0
58 -74 62 0
47 -7 -64 0
73 -34 -42 0
-50 -73 10 0
-35 -55 -47 0
-73 -28 38 0
13 -23 -9 0
47 -48 -10 0
-63 -27 46 0
-18 -25 -16 0
-29 -70 -12 0
69 -66 -10 0
-53 -39 32 0
35 40 -6 0
-55 -50 -56 0
-73 41 -52 0
-57 10 49 0
37 40 -65 0
-58 56 -34 0
29 -73 33 0
49 39 -45 0
-65 -9 -73 0
-71 -29 -38 0
59 34 -35 0
75 -49 50 0
37 -32 55 0
-70 47 16 0
66 -5 37 0
-8 -49 -47 0
-21 65 42 0
-11 -59 -56 0
72 -59 9 0
-21 -42 22 0
-71 -4 -61 0
35 -66 -41 0
26 -72 47 0
-44 -59 -20 0
71 -17 38 0
%
0

