n, k = gets.split.map &:to_i
a, b = n.times.map {gets.split.map &:to_i}.transpose
puts (1..10**9).bsearch {|num|
    n.times.sum {|i| [0, (b[i] < num ? b[i] : num) - a[i] + 1].max } >= k
}