Using O=C([O-])[O-], CC12CCC(C)(CC1)c1cc(Br)c(O)cc12 to produce COc1cc2c(cc1Br)C1(C)CCC2(C)CC1, please predict the solvent for this reaction in SMILES notation in \boxed{$SMILES1, SMILES2, ...} format.