3 ms·

See my comment in a parallel branch for data: even the US best-selling passenger cars don’t average 37 mpg.