Using O=P(O)(O)O, COc1ccc(-c2cc(OC)c(OC)cc2C(=O)O)cc1OC to produce COC1=C(OC)C(=O)C2=Cc3cc(OC)c(OC)cc3C2=C1, please predict the solvent for this reaction in SMILES notation in \boxed{$SMILES1, SMILES2, ...} format.