We prove Zinn-Justin's conjecture about the large N asymptotics of the free energy in the six-vertex model with domain wall boundary conditions in the disordered phase, and we obtain an exact formula for the power exponent in this conjecture.