c atoms constraints 26 14 [BEGIN qdpllexp_1.qdimacs ] [FORMULA 27 14 e 1 0 a 2 0 e 3 4 5 6 0 a 7 0 e 8 9 10 11 0 a 12 0 e 13 14 15 16 0 0 0 13 1 0 14 1 0 15 -1 0 16 -1 0 -4 -3 2 0 -6 -5 -2 0 -9 -8 3 -7 0 -9 -8 4 7 0 -11 -10 5 -7 0 -11 -10 6 7 0 -14 -13 8 12 0 -14 -13 9 -12 0 -16 -15 10 12 0 -16 -15 11 -12 0 ] [NOGOOD 15 15 -1 0 6 -6 -5 -2 0 9 5 0 10 6 0 13 10 0 14 11 0 4 16 0 3 15 0 ] [NOGOOD 0 0 0 5 -4 -3 2 0 7 3 0 8 4 0 11 8 0 12 9 0 2 14 0 1 13 0 15 1 0 ] [END qdpllexp_1.qdimacs ] s cnf 0