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

