update simple_sokoban_solver.py