Using Cc1cccc(NC(=O)Nc2csc(-c3ccncc3)n2)n1, O=C1CCC(=O)N1Br to produce Cc1cccc(NC(=O)Nc2nc(-c3ccncc3)sc2Br)n1, please predict the solvent for this reaction in SMILES notation in \boxed{$SMILES1, SMILES2, ...} format.