Using Cc1nnc(N2CCC[C@@H](NC(=O)OC(C)(C)C)C2)n(Cc2cc(F)ccc2Br)c1=O to produce Cc1nnc(N2CCC[C@@H](N)C2)n(Cc2cccc(F)c2)c1=O, please predict the solvent for this reaction in SMILES notation in \boxed{$SMILES1, SMILES2, ...} format.