Using BrC(Br)(Br)Br, O=[N+]([O-])c1cc(CO)ccc1-c1nc2ccc(C3(c4ccccc4)CC3)nc2s1 to produce O=[N+]([O-])c1cc(CBr)ccc1-c1nc2ccc(C3(c4ccccc4)CC3)nc2s1, please predict the solvent for this reaction in SMILES notation in \boxed{$SMILES1, SMILES2, ...} format.