Using CC(C)CBr, O=c1nc(-c2ccccn2)sc2ccc(O)cc12 to produce CC(C)COc1ccc2sc(-c3ccccn3)nc(=O)c2c1, please predict the solvent for this reaction in SMILES notation in \boxed{$SMILES1, SMILES2, ...} format.