Using C1N2CN3CN1CN(C2)C3, O=C(CBr)c1ccc(F)c(C(F)(F)F)c1 to produce NCC(=O)c1ccc(F)c(C(F)(F)F)c1, please predict the solvent for this reaction in SMILES notation in \boxed{$SMILES1, SMILES2, ...} format.