Using O=[O+][O-], C=C1CS[C@@H]2C(C(C)O)C(=O)N2C1C(=O)OC(c1ccccc1)c1ccccc1 to produce CC(O)C1C(=O)N2C(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.