s SATISFIABLE v -1 -2 -3 -4 -5 -6 7 -8 9 -10 0