TeX source:
R=25/3