TeX source:
-48 t \leq-71 t+12