Introducing Preferences in Planning as Satisfiability