TeX source:
9 a+3 b+c=14