Sokoban Solver in Python