SATISFIABLE
-1 2 3 -4