In 1969, John Nagle derived the exact solution for a three-dimensional version of the KDP model, for a specific range of temperatures. For such temperatures, the model is "frozen" in the sense that (in the thermodynamic limit) the energy per vertex and entropy per vertex are both zero. This is the only known exact solution for a three-dimensional ice-type model.