Using Clc1cccc(Br)c1CBr, CC1(C)[C@@H](C=C(Cl)Cl)[C@@H]1C(=O)O to produce CC1(C)[C@@H](C=C(Cl)Cl)[C@@H]1C(=O)OCc1c(Cl)cccc1Br, please predict the solvent for this reaction in SMILES notation in \boxed{$SMILES1, SMILES2, ...} format.