Using [NH4+], COC(=O)CN1CCC(c2ccc(S(=O)(=O)c3cccc(F)c3)cc2C)C1 to produce Cc1cc(S(=O)(=O)c2cccc(F)c2)ccc1C1CCN(CC(N)=O)C1, please predict the solvent for this reaction in SMILES notation in \boxed{$SMILES1, SMILES2, ...} format.