Committing the Constraints and sub- goals for problem 1.