Using BrCc1ccccc1, O=C1C2CC3CC1CC(c1cc(Br)ccc1O)(C3)C2 to produce O=C1C2CC3CC1CC(c1cc(Br)ccc1OCc1ccccc1)(C3)C2, please predict the solvent for this reaction in SMILES notation in \boxed{$SMILES1, SMILES2, ...} format.