Using CCC1=C(c2cc(Cl)cc(Cl)c2)C(=O)N2C[C@@H](OC(=O)c3ccccc3)C[C@@]12Cc1ccc(Br)cc1 to produce CCC1=C(c2cc(Cl)cc(Cl)c2)C(=O)N2C[C@@H](O)C[C@@]12Cc1ccc(Br)cc1, please predict the solvent for this reaction in SMILES notation in \boxed{$SMILES1, SMILES2, ...} format.