Using O=CC(=O)O, COc1cc(CCC(=O)Nc2nc3ccccc3s2)ccc1C(=O)CP(=O)(OC)OC to produce COc1cc(CCC(=O)Nc2nc3ccccc3s2)ccc1C(=O)/C=C/C(=O)O, please predict the solvent for this reaction in SMILES notation in \boxed{$SMILES1, SMILES2, ...} format.