Thomas is going to cycle a route in the South Downs. He knows that
without rests the route takes 9 hours.
Thomas needs to stop for a rest every 2.5 hours. His rest periods are
30 minutes each.
Thomas needs to finish the cycling route by 18:30. He wants to start
cycling the route as late as possible.
What time should Thomas start cycling?