Simple and Minimal-Cost Satisfiability for Goal Models