A group of students left a mixture of calcium hydroxide and water to equilibrate at 20∘C. They titrated the resulting saturated solution and found that if contained 0.040 mol/l of OH− ions. The solubility product constant Ksp(Ca(OH)2) at this temperature is therefore: