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