TeX source:

c=8.75