p cnf 50 48 q 0 q 1 3 5 7 9 11 13 15 17 19 21 23 25 27 29 31 33 35 37 39 41 43 45 47 49 0 q 2 4 6 8 10 12 14 16 18 20 22 24 26 28 30 32 34 36 38 40 42 44 46 48 50 0 1 3 4 0 -1 -3 -4 0 3 5 6 0 -3 -5 -6 0 5 7 8 0 -5 -7 -8 0 7 9 10 0 -7 -9 -10 0 9 11 12 0 -9 -11 -12 0 11 13 14 0 -11 -13 -14 0 13 15 16 0 -13 -15 -16 0 15 17 18 0 -15 -17 -18 0 17 19 20 0 -17 -19 -20 0 19 21 22 0 -19 -21 -22 0 21 23 24 0 -21 -23 -24 0 23 25 26 0 -23 -25 -26 0 25 27 28 0 -25 -27 -28 0 27 29 30 0 -27 -29 -30 0 29 31 32 0 -29 -31 -32 0 31 33 34 0 -31 -33 -34 0 33 35 36 0 -33 -35 -36 0 35 37 38 0 -35 -37 -38 0 37 39 40 0 -37 -39 -40 0 39 41 42 0 -39 -41 -42 0 41 43 44 0 -41 -43 -44 0 43 45 46 0 -43 -45 -46 0 45 47 48 0 -45 -47 -48 0 47 49 50 0 -47 -49 -50 0