A* now finds the solution, but it's slow as hell. Needs debbuging.