Create sokoban-problem4.pddl