Using CS(=O)(=O)OC1=C(C(=O)OC(c2ccccc2)c2ccccc2)N2C(=O)[C@@H](NC=O)[C@H]2SC1, Sc1cnns1 to produce O=CN[C@@H]1C(=O)N2C(C(=O)OC(c3ccccc3)c3ccccc3)=C(Sc3cnns3)CS[C@H]12, please predict the solvent for this reaction in SMILES notation in \boxed{$SMILES1, SMILES2, ...} format.