Subtract 0.2 s from his time .
One finds 9.86 s , a time which would have been a world record for more than 25 years .
Subtract 0.2 s from his time and one finds 9.86 s , a time which would have been a world record for more than 25 years .