(x + (x+1) + 9) / 2 - x = 5