Using O=C(OC(Cl)(Cl)Cl)OC(Cl)(Cl)Cl, CNc1nccnc1N[C@H]1C[C@@H](Nc2nc3ccccc3s2)C1 to produce Cn1c(=O)n([C@H]2C[C@@H](Nc3nc4ccccc4s3)C2)c2nccnc21, please predict the solvent for this reaction in SMILES notation in \boxed{$SMILES1, SMILES2, ...} format.