s SATISFIABLE v -1 -2 3 4 -5 0