Submissions for team 坤濤 on problem 07 Estimating PI