Update sokoban-p1.pddl