Using COC(=O)C(C(=O)OC(C)(C)C)P(=O)(OC)OC, CC1(C)Oc2ccc(C=O)cc2O1 to produce COC(=O)/C(=C/c1ccc2c(c1)OC(C)(C)O2)C(=O)OC(C)(C)C, please predict the solvent for this reaction in SMILES notation in \boxed{$SMILES1, SMILES2, ...} format.