Using O=C([O-])O, Cc1cc(C=O)c2c(c1Oc1ccc(OCc3ccccc3)c(C(C)C)c1)CCC2 to produce Cc1cc(OC=O)c2c(c1Oc1ccc(OCc3ccccc3)c(C(C)C)c1)CCC2, please predict the solvent for this reaction in SMILES notation in \boxed{$SMILES1, SMILES2, ...} format.