SO(LFP) is equal to EXPTIME.
MVPは井上晴哉（千葉ロッテ）。