s SATISFIABLE
v -1 -2 3 0