Update sokoban-p3.pddl