how many laps were driven in 2:54:23.8?
100.0