Using O=Cc1c(Cl)cccc1Cl, COc1cccc(OC)c1C(C)=O to produce COc1cccc(OC)c1C(=O)C=Cc1c(Cl)cccc1Cl, please predict the solvent for this reaction in SMILES notation in \boxed{$SMILES1, SMILES2, ...} format.