Create sokoban-problem3.pddl