Using COc1cc2c(cc1OC)CCC(OS(=O)(=O)C(F)(F)F)=C2, C#CC(=O)OCC to produce CCOC(=O)C#CC1=Cc2cc(OC)c(OC)cc2CC1, please predict the solvent for this reaction in SMILES notation in \boxed{$SMILES1, SMILES2, ...} format.