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

