Using FC(F)(F)c1ccc(Br)nc1, O=C1C(O)CC2CN(S(=O)(=O)c3cccc(C(F)(F)F)c3)CCN12 to produce O=C1C(Oc2ccc(C(F)(F)F)cn2)CC2CN(S(=O)(=O)c3cccc(C(F)(F)F)c3)CCN12, please predict the solvent for this reaction in SMILES notation in \boxed{$SMILES1, SMILES2, ...} format.