Using COc1ccc(CN2CCC(F)S2(=O)=O)c(OC)c1, O=S(=O)(NF)c1ccccc1 to produce COc1ccc(CN2CCC(F)(F)S2(=O)=O)c(OC)c1, please predict the solvent for this reaction in SMILES notation in \boxed{$SMILES1, SMILES2, ...} format.