Using COC(=O)C(Cl)Cc1cc(-n2nc(C)n(C(F)F)c2=O)c(Cl)cc1Cl to produce COC(=O)C=Cc1cc(-n2nc(C)n(C(F)F)c2=O)c(Cl)cc1Cl, please predict the solvent for this reaction in SMILES notation in \boxed{$SMILES1, SMILES2, ...} format.