Using COC(=O)Cc1cccc(Cn2cnc3c(N)nc(Cl)nc32)c1, BrBr to produce COC(=O)Cc1cccc(Cn2c(Br)nc3c(N)nc(Cl)nc32)c1, please predict the solvent for this reaction in SMILES notation in \boxed{$SMILES1, SMILES2, ...} format.