Using Cc1ccc(S(N)(=O)=O)cc1, BrCC(CBr)=C(CBr)CBr to produce Cc1ccc(S(=O)(=O)N2CC3=C(C2)CN(S(=O)(=O)c2ccc(C)cc2)C3)cc1, please predict the solvent for this reaction in SMILES notation in \boxed{$SMILES1, SMILES2, ...} format.