$SEI は 0.52 に戻りましたか?