c 3 Tauben passen nicht in 2 Schläge p cnf 32 9 11 12 0 21 22 0 31 32 0 -11 -21 0 -11 -31 0 -21 -31 0 -12 -22 0 -12 -32 0 -22 -32 0