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