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

