今のところ端数を切り捨てると、15・17・20なので>>864でビタリ。切り捨てなのでトータルは78〜80億あたりか。