Using O=C(O)c1cccnc1Cl, CNc1ncc(C(F)(F)F)cc1N to produce Cn1c(-c2cccnc2Cl)nc2cc(C(F)(F)F)cnc21, please predict the solvent for this reaction in SMILES notation in \boxed{$SMILES1, SMILES2, ...} format.