Using O=S(=O)(O[C@H](c1ccc(Cl)c(Cl)c1)C(F)(F)F)C(F)(F)F, COc1ccc(CN)cc1OC to produce COc1ccc(CNC(c2ccc(Cl)c(Cl)c2)C(F)(F)F)cc1OC, please predict the solvent for this reaction in SMILES notation in \boxed{$SMILES1, SMILES2, ...} format.