solve over integers x_1(x_1+2) = x_2(x_2+9), x_1>0, x_2>0