Using O=CC1=CS[C@@H]2C(NC(=O)Cc3ccccc3)C(=O)N2C1C(=O)OC(c1ccccc1)c1ccccc1, ClC(Cl)(Cl)Cl to produce O=C(Cc1ccccc1)NC1C(=O)N2C(C(=O)OC(c3ccccc3)c3ccccc3)C(C=C(Cl)Cl)=CS[C@H]12, please predict the solvent for this reaction in SMILES notation in \boxed{$SMILES1, SMILES2, ...} format.