TeX source:
K=4.42