Using BrBr, Cc1c2c(c3cc(C(=O)O)oc3c1C)CC(C(C)C)C2=O to produce Cc1c2c(c3cc(C(=O)O)oc3c1C)CC(Br)(C(C)C)C2=O, please predict the solvent for this reaction in SMILES notation in \boxed{$SMILES1, SMILES2, ...} format.