Using CC(=O)OCC1=C(P(=O)([O-])[O-])N2C(=O)[C@@H](NC(=O)C(C(=O)O)c3ccsc3)[C@H]2SC1 to produce O=C(O)C(C(=O)N[C@@H]1C(=O)N2C(P(=O)([O-])[O-])=C(CO)CS[C@H]12)c1ccsc1, please predict the solvent for this reaction in SMILES notation in \boxed{$SMILES1, SMILES2, ...} format.