Using Brc1ccc(Br)nc1, COC(=O)C1CCC(=O)CC1(C)C to produce COC(=O)C1CCC(O)(c2ccc(Br)cn2)CC1(C)C, please predict the solvent for this reaction in SMILES notation in \boxed{$SMILES1, SMILES2, ...} format.