Using CC(C)(C)c1ccc(O)c(Br)c1, CC(C)(C)c1cc(Br)c2c(c1)CN(C(C)(C)C)CO2 to produce CC(C)(C)c1cc(Br)c(O)c(C=O)c1, please predict the solvent for this reaction in SMILES notation in \boxed{$SMILES1, SMILES2, ...} format.