Using O=C(O)c1ccccc1, COC(=O)C(=C(C)C)N1C(=O)[C@H]([C@H](C)O)[C@H]1SC to produce COC(=O)C(=C(C)C)N1C(=O)[C@H]([C@@H](C)OC(=O)c2ccccc2)[C@H]1SC, please predict the solvent for this reaction in SMILES notation in \boxed{$SMILES1, SMILES2, ...} format.