How many hours of compensation time-off does a driver have left, if he has used 35 hours of a shortened weekly rest?