これを解くとformula_87となる。