TeX source:
53 w < 56 w+3