SATISFIABLE
1 2 -3