TeX source:
14 P < 52.50