Using CO[C@@H]1[C@@H](COCc2ccccc2)[C@H](C=O)CCC1(C)C, CCCCCCCC[P+](c1ccccc1)(c1ccccc1)c1ccccc1 to produce CCCCCCC/C=C/[C@@H]1CCC(C)(C)[C@H](OC)[C@H]1COCc1ccccc1, please predict the solvent for this reaction in SMILES notation in \boxed{$SMILES1, SMILES2, ...} format.