Using COc1ccc(-c2ccc3cc(C=O)ccc3c2)cc1C12CC3CC(CC(C3)C1)C2 to produce COc1ccc(-c2ccc3cc(CO)ccc3c2)cc1C12CC3CC(CC(C3)C1)C2, please predict the solvent for this reaction in SMILES notation in \boxed{$SMILES1, SMILES2, ...} format.