Update sokoban-p4.pddl