Using CC(C)(C)[O-], O=C(c1ccc(Cl)cc1)c1cc(Br)c2nc(Br)cc(Br)c2c1 to produce CC(C)(C)Oc1cc(Br)c2cc(C(=O)c3ccc(Cl)cc3)cc(Br)c2n1, please predict the solvent for this reaction in SMILES notation in \boxed{$SMILES1, SMILES2, ...} format.