Using CC1(C23CC4CC2CC(COCc2ccccc2)(C4)C3)OCCO1 to produce CC(=O)C12CC3CC1CC(COCc1ccccc1)(C3)C2, please predict the solvent for this reaction in SMILES notation in \boxed{$SMILES1, SMILES2, ...} format.