Online sokoban solver