Create sokoban-problem1.pddl