p cnf 16 108 1 2 3 4 0 5 6 7 8 0 9 10 11 12 0 13 14 15 16 0 -1 -6 0 -1 -11 0 -1 -16 0 -2 -5 0 -2 -7 0 -2 -12 0 -3 -6 0 -3 -8 0 -3 -9 0 -4 -7 0 -4 -10 0 -4 -13 0 -5 -2 0 -5 -10 0 -5 -15 0 -6 -1 0 -6 -3 0 -6 -9 0 -6 -11 0 -6 -16 0 -7 -2 0 -7 -4 0 -7 -10 0 -7 -12 0 -7 -13 0 -8 -3 0 -8 -11 0 -8 -14 0 -9 -3 0 -9 -6 0 -9 -14 0 -10 -4 0 -10 -5 0 -10 -7 0 -10 -13 0 -10 -15 0 -11 -1 0 -11 -6 0 -11 -8 0 -11 -14 0 -11 -16 0 -12 -2 0 -12 -7 0 -12 -15 0 -13 -4 0 -13 -7 0 -13 -10 0 -14 -8 0 -14 -9 0 -14 -11 0 -15 -5 0 -15 -10 0 -15 -12 0 -16 -1 0 -16 -6 0 -16 -11 0 -1 -2 0 -1 -3 0 -1 -4 0 -2 -3 0 -2 -4 0 -3 -4 0 -5 -6 0 -5 -7 0 -5 -8 0 -6 -7 0 -6 -8 0 -7 -8 0 -9 -10 0 -9 -11 0 -9 -12 0 -10 -11 0 -10 -12 0 -11 -12 0 -13 -14 0 -13 -15 0 -13 -16 0 -14 -15 0 -14 -16 0 -15 -16 0 -1 -5 0 -1 -9 0 -1 -13 0 -2 -6 0 -2 -10 0 -2 -14 0 -3 -7 0 -3 -11 0 -3 -15 0 -4 -8 0 -4 -12 0 -4 -16 0 -5 -9 0 -5 -13 0 -6 -10 0 -6 -14 0 -7 -11 0 -7 -15 0 -8 -12 0 -8 -16 0 -9 -13 0 -10 -14 0 -11 -15 0 -12 -16 0