Using ClC(Cl)(Cl)C(Cl)(Cl)Cl, CC(C)C(=O)Nc1c[nH]c2ncc(Br)c(N3CCC[C@@H](NC(=O)OC(C)(C)C)C3)c12 to produce CC(C)C(=O)Nc1c[nH]c2ncc(Cl)c(N3CCC[C@@H](NC(=O)OC(C)(C)C)C3)c12, please predict the solvent for this reaction in SMILES notation in \boxed{$SMILES1, SMILES2, ...} format.