( 8.13139 / 5 .)