OG 215没搜索到

Avantasia

个人观点，首先不可以一上来就用所谓的时态原因把AB排除了，这里的would表示一种可能性，而不是过去时，一般现在时可在表达客观事实的时候可以和过去时连用。

这里用so的是否应用是可以排除掉其它的干扰选项。

不定式确实可以做主语，不过在GMAT中一般采取形式主语的方式把不定式放在后面（It be...to do）。