1 < x2-5 ≤ 12