Functional determinant for the Thirring model with instanton