s SATISFIABLE
v 1 2 -3 0