Using O=C(O)c1cc2cc(Cl)ccc2[nH]1, COC(=O)[C@H]1CC[C@@H](NC(=O)OC(C)(C)C)[C@@H](NC(=O)c2nc3c(s2)CN(C)CC3)C1 to produce COC(=O)[C@H]1CC[C@@H](NC(=O)c2cc3cc(Cl)ccc3[nH]2)[C@@H](NC(=O)c2nc3c(s2)CN(C)CC3)C1, please predict the solvent for this reaction in SMILES notation in \boxed{$SMILES1, SMILES2, ...} format.