Using Cc1ccc(S(=O)(=O)N2CC3=C(CNCC3)C2)cc1, BrCc1ccccc1 to produce Cc1ccc(S(=O)(=O)N2CC3=C(C2)C(Cc2ccccc2)NCC3)cc1, please predict the solvent for this reaction in SMILES notation in \boxed{$SMILES1, SMILES2, ...} format.