Using CCOC(=O)C(OCC)[P+](c1ccccc1)(c1ccccc1)c1ccccc1, Cc1cc2cc(C=O)ccc2[nH]1 to produce CCOC(=O)/C(=C/c1ccc2[nH]c(C)cc2c1)OCC, please predict the solvent for this reaction in SMILES notation in \boxed{$SMILES1, SMILES2, ...} format.