SATISFIABLE
-1 2