SATISFIABLE