Using CC(C)C1(CO)Cc2cc(OCC(=O)O)c(Cl)c(Cl)c2C1=O, C=C(C)C to produce CC(C)C1(COC(C)(C)C)Cc2cc(OCC(=O)OC(C)(C)C)c(Cl)c(Cl)c2C1=O, please predict the solvent for this reaction in SMILES notation in \boxed{$SMILES1, SMILES2, ...} format.