c 5 pigeons and 4 holes
p cnf 54 46
10 0
-11 -21 0
-11 -31 0
-11 -41 0
-11 -51 0
-21 -31 0
-21 -41 0
-21 -51 0
-31 -41 0
-31 -51 0
-41 -51 0
-12 -22 0
-12 -32 0
-12 -42 0
-12 -52 0
-22 -32 0
-22 -42 0
-22 -52 0
-32 -42 0
-32 -52 0
-42 -52 0
-13 -23 0
-13 -33 0
-13 -43 0
-13 -53 0
-23 -33 0
-23 -43 0
-23 -53 0
-33 -43 0
-33 -53 0
-43 -53 0
-14 -24 0
-14 -34 0
-14 -44 0
-14 -54 0
-24 -34 0
-24 -44 0
-24 -54 0
-34 -44 0
-34 -54 0
-44 -54 0
-10 11 12 13 14 0
21 22 23 24 0
31 32 33 34 0
41 42 43 44 0
51 52 53 54 0