Using COC1(OC)CCC(C#N)(c2ccc(OC(F)F)c(OC(F)F)c2)CC1, O=S([O-])O to produce COC1(OC)CCC(C=O)(c2ccc(OC(F)F)c(OC(F)F)c2)CC1, please predict the solvent for this reaction in SMILES notation in \boxed{$SMILES1, SMILES2, ...} format.