If a car in  does a lap in  seconds,
what does a car in 
have to run to tie its PAX time?