Sokoban solver