X + 6 = Z; Y + 1 = Z; X + Y < Z