Using CN, CC1CN(C(=O)C(F)(F)F)CCc2nc(OS(=O)(=O)C(F)(F)F)c(Br)cc21 to produce CNc1nc2c(cc1Br)C(C)CN(C(=O)C(F)(F)F)CC2, please predict the solvent for this reaction in SMILES notation in \boxed{$SMILES1, SMILES2, ...} format.