Using COC(=O)[C@@H]1[C@@H](C=O)C1(C)C, CC(=O)C[P+](c1ccccc1)(c1ccccc1)c1ccccc1 to produce COC(=O)[C@@H]1[C@@H](/C=C/C(C)=O)C1(C)C, please predict the solvent for this reaction in SMILES notation in \boxed{$SMILES1, SMILES2, ...} format.