TeX source:
mean=85.5