Using COc1ccc(C=C2Cc3c(C)cc(C)c(O)c3C2=O)cc1 to produce COc1ccc(CC2Cc3c(C)cc(C)c(O)c3C2=O)cc1, please predict the solvent for this reaction in SMILES notation in \boxed{$SMILES1, SMILES2, ...} format.