solve 8-puzzle, with A*