Using CC(C)(C)OC(=O)CP(C)(C)=O, C[C@]12C=CC[C@H]1CC2=O to produce CC(C)(C)OC(=O)C=C1C[C@@H]2CC=C[C@]12C, please predict the solvent for this reaction in SMILES notation in \boxed{$SMILES1, SMILES2, ...} format.