Using CC(C)(C)O, O=CC1=C[C@H]2CC(O)O[C@H]2C1 to produce CC(C)(C)OC1C[C@@H]2C=C(C=O)C[C@@H]2O1, please predict the solvent for this reaction in SMILES notation in \boxed{$SMILES1, SMILES2, ...} format.