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

