TeX source:
53 w+13 < 56 w+16