Using COC1=C(c2c(C)cc(C)cc2C)C(=O)C(C(O)c2cc3ccccc3o2)C1 to produce COC1=C(c2c(C)cc(C)cc2C)C(=O)/C(=C/c2cc3ccccc3o2)C1, please predict the solvent for this reaction in SMILES notation in \boxed{$SMILES1, SMILES2, ...} format.