Update sokoban-p2.pddl