22x+1<=y*(x-1) and y < 32 and x > 0 and y > 0