Using O=C([O-])[O-], O=c1[nH]n(-c2ccccc2)c2cc(Br)ccc12 to produce COc1nn(-c2ccccc2)c2cc(Br)ccc12, please predict the solvent for this reaction in SMILES notation in \boxed{$SMILES1, SMILES2, ...} format.