Using COC(=O)C=COc1ccc(C23CC4CC(CC(C4)C2)C3)cc1 to produce O=C(O)/C=C/Oc1ccc(C23CC4CC(CC(C4)C2)C3)cc1, please predict the solvent for this reaction in SMILES notation in \boxed{$SMILES1, SMILES2, ...} format.