Using CC1=C2C(=C[C@@](C)(CO)[C@@H]2O)C(=O)[C@](C)(O)C12CC2, C=O to produce CC1=C(CO)C2=C(C)C3(CC3)[C@@](C)(O)C(=O)C2=C1, please predict the solvent for this reaction in SMILES notation in \boxed{$SMILES1, SMILES2, ...} format.