TeX source:
4^y = 212 < y < 3