Using O=C(c1ccccc1)c1ccc(CBr)cc1, CCc1nc2nc(C)cc(C)c2[nH]1 to produce CCc1nc2c(C)cc(C)nc2n1Cc1ccc(C(=O)c2ccccc2)cc1, please predict the solvent for this reaction in SMILES notation in \boxed{$SMILES1, SMILES2, ...} format.