Using O=C(O)CCCC[P+](c1ccccc1)(c1ccccc1)c1ccccc1, OC1CC2C(CC(OC3CCCCO3)C2CC2OCCO2)O1 to produce O=C(O)CCC/C=C\C[C@@H]1[C@@H](CC2OCCO2)[C@H](OC2CCCCO2)C[C@@H]1O, please predict the solvent for this reaction in SMILES notation in \boxed{$SMILES1, SMILES2, ...} format.