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 50  218 
 -28 9 42 0
15 49 23 0
30 -12 42 0
31 22 25 0
-15 29 -36 0
30 31 42 0
-25 31 -4 0
9 -35 -37 0
-9 -26 6 0
-5 -15 -42 0
24 -28 -26 0
20 23 -22 0
-48 -29 11 0
19 38 -33 0
-38 25 -47 0
-24 38 22 0
41 -23 42 0
-39 -44 40 0
6 -47 38 0
-8 50 17 0
11 2 32 0
1 28 42 0
2 -17 43 0
-7 42 -16 0
-15 20 41 0
41 -18 7 0
23 -28 39 0
18 -43 29 0
-20 -1 -15 0
26 -10 47 0
-21 31 -20 0
-39 -26 25 0
39 7 9 0
40 36 -4 0
-31 47 -9 0
-30 33 -29 0
46 49 -7 0
-37 -14 3 0
48 21 4 0
1 -6 -20 0
-7 11 15 0
16 -6 -23 0
18 13 -12 0
-39 6 -13 0
-16 7 44 0
-18 22 -36 0
-8 -23 -2 0
-28 -13 -41 0
-31 21 3 0
31 28 -17 0
-49 31 4 0
-31 -21 -34 0
11 28 41 0
49 -47 43 0
-11 -21 -33 0
9 -44 -27 0
23 -9 10 0
34 2 37 0
-46 50 -49 0
-44 -11 9 0
-22 46 47 0
-38 -30 -34 0
-7 -19 -27 0
-47 -39 -28 0
-34 -21 -39 0
-46 19 -21 0
17 4 -8 0
26 9 12 0
30 -49 43 0
35 27 -40 0
49 13 5 0
48 22 -26 0
50 -47 -35 0
16 -28 -35 0
27 -20 4 0
3 42 -35 0
29 9 -10 0
31 14 -29 0
-2 -40 -5 0
13 -24 9 0
38 44 22 0
-31 -13 20 0
-15 42 29 0
31 6 -10 0
-29 27 9 0
32 11 3 0
-13 -42 -20 0
33 41 39 0
-18 1 11 0
-27 -46 41 0
-45 22 -18 0
4 37 -22 0
21 2 39 0
14 31 -10 0
-37 34 22 0
34 12 33 0
32 -13 43 0
-1 6 -13 0
48 28 6 0
34 38 47 0
-16 -48 -26 0
-4 -32 -47 0
7 35 38 0
-44 -22 -30 0
13 12 -19 0
-23 -32 -31 0
-33 -11 29 0
36 30 49 0
-49 25 31 0
11 -14 30 0
-41 -11 43 0
22 23 -33 0
12 -38 8 0
-11 -40 -36 0
-3 48 -2 0
-44 -7 -43 0
-8 18 6 0
-19 -29 -44 0
37 -49 25 0
9 41 -10 0
-42 16 -33 0
16 -9 46 0
28 -18 -42 0
-7 30 28 0
45 10 -8 0
30 -12 -46 0
-41 -11 6 0
-50 -10 23 0
-21 38 -45 0
16 14 5 0
-3 48 -35 0
46 -1 41 0
-7 -37 31 0
-44 49 -38 0
-12 -32 37 0
-37 48 46 0
-31 -8 -16 0
38 31 -18 0
-11 7 -28 0
31 -15 -28 0
28 35 -25 0
48 -50 -40 0
1 -20 15 0
47 -46 -29 0
-21 -25 -46 0
26 -20 -29 0
33 41 -49 0
6 4 -50 0
43 -18 31 0
-2 13 -50 0
42 -37 11 0
19 -20 -44 0
47 2 -46 0
-9 -41 -11 0
-31 45 -35 0
-20 -41 -36 0
9 -47 -33 0
22 34 31 0
47 -9 43 0
-43 -18 19 0
-3 15 -14 0
27 -13 -38 0
38 -9 10 0
21 -23 18 0
38 -23 22 0
-30 -2 -32 0
35 16 -50 0
48 -12 46 0
-16 1 44 0
37 2 -46 0
25 -38 -47 0
-43 -17 -2 0
29 -36 38 0
-45 -8 -18 0
11 -28 -32 0
-1 11 27 0
-33 10 25 0
-10 29 -48 0
-15 -48 -49 0
-12 46 17 0
32 -2 -13 0
-17 30 -39 0
3 24 19 0
-42 35 19 0
-29 28 50 0
48 3 -2 0
-40 28 -29 0
-19 21 -15 0
-8 13 -20 0
-30 -31 -14 0
-29 -23 -37 0
28 23 -25 0
48 20 -14 0
-48 -14 18 0
-19 30 17 0
26 28 -37 0
-33 -34 9 0
-37 5 -15 0
46 25 -47 0
-17 -33 -26 0
34 6 8 0
5 -43 -2 0
-14 18 41 0
-27 -12 24 0
42 23 -46 0
8 33 -29 0
-11 -2 46 0
-11 -29 37 0
39 -7 37 0
-5 19 -2 0
37 -29 10 0
-47 -7 -13 0
-1 -10 29 0
-1 -24 15 0
-44 42 30 0
-23 7 -30 0
44 18 -33 0
-6 -11 -41 0
%
0

