Using O=C(C=Cc1c(O)c(O)c(O)c(O)c1O)c1ccccc1, O=P([O-])(O)O to produce O=C1/C(=C/c2ccccc2)Oc2ccccc21, please predict the solvent for this reaction in SMILES notation in \boxed{$SMILES1, SMILES2, ...} format.