p cnf 57 124
-2 -3 -4 0
-1 -3 -4 0
-1 -2 -4 0
-1 -2 -3 0
-6 -7 -8 0
-5 -7 -8 0
-5 -6 -8 0
-5 -6 -7 0
-10 -11 -12 0
-9 -11 -12 0
-9 -10 -12 0
-9 -10 -11 0
-14 -15 -16 0
-13 -15 -16 0
-13 -14 -16 0
-13 -14 -15 0
-18 -19 -20 0
-17 -19 -20 0
-17 -18 -20 0
-17 -18 -19 0
-22 -23 -24 0
-21 -23 -24 0
-21 -22 -24 0
-21 -22 -23 0
-26 -27 -28 0
-25 -27 -28 0
-25 -26 -28 0
-25 -26 -27 0
-30 -31 -32 0
-29 -31 -32 0
-29 -30 -32 0
-29 -30 -31 0
-34 -35 -36 0
-33 -35 -36 0
-33 -34 -36 0
-33 -34 -35 0
-38 -39 -40 0
-37 -39 -40 0
-37 -38 -40 0
-37 -38 -39 0
-42 -43 -44 0
-41 -43 -44 0
-41 -42 -44 0
-41 -42 -43 0
-46 -47 -48 0
-45 -47 -48 0
-45 -46 -48 0
-45 -46 -47 0
-50 -51 -52 0
-49 -51 -52 0
-49 -50 -52 0
-49 -50 -51 0
-53 -54 -55 0
-53 -54 -56 0
-53 -54 -57 0
-53 -55 -56 0
-53 -55 -57 0
-53 -56 -57 0
-54 -55 -56 0
-54 -55 -57 0
-54 -56 -57 0
-55 -56 -57 0
5 13 43 0
32 13 43 0
32 5 43 0
32 5 13 0
51 39 19 0
10 39 19 0
10 51 19 0
10 51 39 0
26 1 16 0
11 1 16 0
11 26 16 0
11 26 1 0
30 4 20 0
34 4 20 0
34 30 20 0
34 30 4 0
24 18 28 0
8 18 28 0
8 24 28 0
8 24 18 0
50 46 3 0
41 46 3 0
41 50 3 0
41 50 46 0
56 40 2 0
6 40 2 0
6 56 2 0
6 56 40 0
37 45 31 0
27 45 31 0
27 37 31 0
27 37 45 0
33 38 42 0
22 38 42 0
22 33 42 0
22 33 38 0
21 9 29 0
55 9 29 0
55 21 29 0
55 21 9 0
52 44 25 0
54 44 25 0
54 52 25 0
54 52 44 0
17 14 47 0
57 14 47 0
57 17 47 0
57 17 14 0
49 15 36 0
23 15 36 0
23 49 36 0
23 49 15 0
35 7 48 0
35 7 53 0
35 7 12 0
35 48 53 0
35 48 12 0
35 53 12 0
7 48 53 0
7 48 12 0
7 53 12 0
48 53 12 0