Create sa_problem.pddl