$SEI はいつでも0.7300まで上昇します。