9-puzzle best from all time