0.25059580802917