p cnf 5 8
  +1 +5
  -1 +5
  +2 +5
  -2 +5
  +3 +5
  -3 +5
  +4 +5
  -4 +5

c the only correct solution is: 0 0 0 0 1