Using O=C(CP(=O)([O-])[O-])N1C(=O)OC[C@H]1Cc1ccccc1, O=CCOCc1ccccc1 to produce O=C(/C=C/COCc1ccccc1)N1C(=O)OC[C@H]1Cc1ccccc1, please predict the solvent for this reaction in SMILES notation in \boxed{$SMILES1, SMILES2, ...} format.