TeX source:
(3.9)(4.075)=15.8925