80/(13.8 × 10^9)