Rigorous solution of a mean field spin glass model. (2000)