Using FC(F)(F)c1ccc(Cl)nc1, NC1CC(F)(F)CC1NC(=O)c1ccccc1-n1nccn1 to produce O=C(NC1CC(F)(F)CC1Nc1ccc(C(F)(F)F)cn1)c1ccccc1-n1nccn1, please predict the solvent for this reaction in SMILES notation in \boxed{$SMILES1, SMILES2, ...} format.