Update sokoban.py