The equilibrium constant of the isocitrate dehydrogenase reaction.