Create problem.pddl