Exact ABJM Partition Function from TBA

We report on the exact computation of the S^3 partition function of U(N)k\times U(N){-k} ABJM theory for k=1, N=1,…,19. The result is a polynomial in \pi^{-1} with rational coefficients. As an application of our results we numerically determine the coefficient of the membrane 1-instanton correction to the partition function.