Using O=C(c1ccc(Cl)cc1)c1ccc(CBr)cc1, Cc1nc2n(c(=O)c1C(C)C)CC=N2 to produce Cc1nc2n(Cc3ccc(C(=O)c4ccc(Cl)cc4)cc3)ccn2c(=O)c1C(C)C, please predict the solvent for this reaction in SMILES notation in \boxed{$SMILES1, SMILES2, ...} format.