TeX source:
(171.5577,172.8335)