Using O=[O+][O-], C=C1CS[C@@H]2[C@H](N)C(=O)N2[C@H]1C(=O)OC(c1ccccc1)c1ccccc1 to produce N[C@@H]1C(=O)N2[C@@H](C(=O)OC(c3ccccc3)c3ccccc3)C(=O)CS[C@H]12, please predict the solvent for this reaction in SMILES notation in \boxed{$SMILES1, SMILES2, ...} format.