Create sokoban-problem2.pddl