When will Birch and Swinnerton-Dyer be resolved?

Before 2032 If Birch and Swinnerton-Dyer Conjecture in its official Clay Mathematics Institute formulation is resolved before Jan 1, X under the Payout Criterion and that resolution has not been retracted, withdrawn, repudiated, or rescinded prior to the Expiration time, then the market resolves to Yes. For purposes of this Contract, Birch and Swinnerton-Dyer Conjecture in its official Clay Mathematics Institute formulation is considered resolved if at least one of the following occurs and has