Using FC(F)(F)CBr, O=S(=O)(c1ccccc1)c1cnc2c(N3CCNCC3)cccc2c1 to produce O=S(=O)(c1ccccc1)c1cnc2c(N3CCN(CC(F)(F)F)CC3)cccc2c1, please predict the solvent for this reaction in SMILES notation in \boxed{$SMILES1, SMILES2, ...} format.