six-vertex model, domain wall boundary conditions, exact solution, Zinn-Justin's conjecture