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

