8057
=9.9715346534653531