Using O=C(O)C1(C(F)(F)F)CC1, NCc1ccc(Cl)c(N)c1Cl to produce Nc1c(Cl)ccc(CNC(=O)C2(C(F)(F)F)CC2)c1Cl, please predict the solvent for this reaction in SMILES notation in \boxed{$SMILES1, SMILES2, ...} format.