p cnf 27 162
-1 2 0
-2 0
-2 3 0
2 -3 0
-3 1 0
3 -1 0
4 5 0
-4 -5 0
5 6 0
-5 -6 0
-6 4 0
6 -4 0
7 8 0
-7 -8 0
8 9 0
-8 -9 0
9 7 0
-9 -7 0
-1 4 0
-4 0
-2 5 0
2 -5 0
3 6 0
-3 -6 0
-4 7 0
4 -7 0
-5 8 0
5 -8 0
6 9 0
-6 -9 0
-7 1 0
7 -1 0
-8 2 0
8 -2 0
-9 3 0
9 -3 0
10 0
-1 -10 0
-2 11 0
2 -11 0
-3 12 0
3 -12 0
4 13 0
-4 -13 0
5 14 0
-5 -14 0
-6 15 0
6 -15 0
7 16 0
-7 -16 0
8 17 0
-8 -17 0
9 18 0
-9 -18 0
-10 11 0
10 -11 0
11 12 0
-11 -12 0
12 10 0
-12 -10 0
-13 14 0
13 -14 0
14 15 0
-14 -15 0
15 13 0
-15 -13 0
16 17 0
-16 -17 0
17 18 0
-17 -18 0
-18 16 0
18 -16 0
-10 13 0
10 -13 0
11 14 0
-11 -14 0
-12 15 0
12 -15 0
13 16 0
-13 -16 0
-14 17 0
14 -17 0
-15 18 0
15 -18 0
16 10 0
-16 -10 0
-17 11 0
17 -11 0
18 12 0
-18 -12 0
10 19 0
-10 -19 0
11 20 0
-11 -20 0
-12 21 0
12 -21 0
13 22 0
-13 -22 0
14 23 0
-14 -23 0
-15 24 0
15 -24 0
16 25 0
-16 -25 0
-17 26 0
17 -26 0
-18 27 0
18 -27 0
-19 20 0
19 -20 0
-20 21 0
20 -21 0
21 19 0
-21 -19 0
-22 23 0
22 -23 0
23 24 0
-23 -24 0
-24 22 0
24 -22 0
-25 26 0
25 -26 0
-26 27 0
26 -27 0
-27 25 0
27 -25 0
19 22 0
-19 -22 0
-20 23 0
20 -23 0
-21 24 0
21 -24 0
22 25 0
-22 -25 0
23 26 0
-23 -26 0
24 27 0
-24 -27 0
25 19 0
-25 -19 0
26 20 0
-26 -20 0
-27 21 0
27 -21 0
-19 1 0
19 -1 0
20 2 0
-20 -2 0
21 3 0
-21 -3 0
-22 4 0
22 -4 0
-23 5 0
23 -5 0
-24 6 0
24 -6 0
25 7 0
-25 -7 0
26 8 0
-26 -8 0
27 9 0
-27 -9 0