fn best_points_after(reindeers: &[Reindeer], time: u64) -> u64