$USTC これを 23 から取り出して、20 に達するように祈ったらどうでしょうか?