TeX source:
13x+2y=1