Using [Cl-], O=C(O)C12CC3CC(CC(Br)(C3)C1)C2 to produce O=C(O)C12CC3CC(C1)CC(c1ccc(Cl)cc1)(C3)C2, please predict the solvent for this reaction in SMILES notation in \boxed{$SMILES1, SMILES2, ...} format.