Using FC(F)(F)N1CCNCC1, Cc1ccc(S(=O)(=O)Oc2ccc3c(=O)c(C(=O)O)cn4c3c2CCC4)cc1 to produce O=C(O)c1cn2c3c(c(N4CCN(C(F)(F)F)CC4)ccc3c1=O)CCC2, please predict the solvent for this reaction in SMILES notation in \boxed{$SMILES1, SMILES2, ...} format.