Using Cc1cccc(-n2ncc3c(=O)n(-c4ccc(Cl)cc4)c(-c4ccc(Br)cc4)nc32)c1S, O=C(Cl)c1ccc(Br)cc1 to produce O=C(Nc1ccc(Cl)cc1)c1ccc(Br)cc1, please predict the solvent for this reaction in SMILES notation in \boxed{$SMILES1, SMILES2, ...} format.