2*(2.524 astronomical units)*tan((31 arcminutes)/2)