p cnf 40 70 1 2 3 4 0 5 6 7 8 0 9 10 11 12 0 13 14 15 16 0 17 18 19 20 0 21 22 23 24 0 25 26 27 28 0 29 30 31 32 0 33 34 35 36 0 37 38 39 40 0 -1 -21 0 -1 -29 0 -1 -33 0 -2 -22 0 -2 -30 0 -2 -34 0 -3 -23 0 -3 -31 0 -3 -35 0 -4 -24 0 -4 -32 0 -4 -36 0 -5 -9 0 -5 -21 0 -5 -25 0 -6 -10 0 -6 -22 0 -6 -26 0 -7 -11 0 -7 -23 0 -7 -27 0 -8 -12 0 -8 -24 0 -8 -28 0 -9 -13 0 -9 -29 0 -10 -14 0 -10 -30 0 -11 -15 0 -11 -31 0 -12 -16 0 -12 -32 0 -13 -17 0 -13 -33 0 -14 -18 0 -14 -34 0 -15 -19 0 -15 -35 0 -16 -20 0 -16 -36 0 -17 -21 0 -17 -37 0 -18 -22 0 -18 -38 0 -19 -23 0 -19 -39 0 -20 -24 0 -20 -40 0 -25 -33 0 -25 -37 0 -26 -34 0 -26 -38 0 -27 -35 0 -27 -39 0 -28 -36 0 -28 -40 0 -29 -37 0 -30 -38 0 -31 -39 0 -32 -40 0