SATISFIABLE
