p cnf 44 55
21 0
15 0
-1 4 -24 0
24 0
-5 4 -28 0
28 0
-5 8 -29 0
29 0
-4 7 -30 0
30 0
-4 7 -31 0
31 0
16 0
11 -12 -36 0
36 0
8 -12 -37 0
37 0
38 1 -4 0
4 -38 0
-1 -38 0
17 -38 -39 0
38 -17 -39 0
39 0
17 -40 14 0
-17 40 0
40 -11 -41 0
41 0
17 -42 14 0
-17 42 0
42 -11 -43 0
43 0
-3 0
-1 7 -44 0
-7 1 -44 0
44 0
-10 0
-14 0
22 0
23 0
25 0
26 0
27 0
32 0
33 0
34 0
35 0
-4 -11 0
-2 0
4 0
5 0
6 0
-9 0
11 0
-12 0
13 0