SATISFIABLE
1 -2