Using O=C(CBr)NC(=O)C1CC1, Nc1ccc(Sc2nnc3ccccn23)nn1 to produce O=C(Nc1cn2nc(Sc3nnc4ccccn34)ccc2n1)C1CC1, please predict the solvent for this reaction in SMILES notation in \boxed{$SMILES1, SMILES2, ...} format.