solve {p q - p + 2 q = 32, p>0, q>0} over the integers