BobCat13 has the latest shortest path (12180 miles). R&D for branch and bound has started, this should seed up the brute force algorithm by proving large sections of the search space to be suboptimal and there for not necessary to test.