N, K = gets.split.map &:to_i

ab = $<.map{|s|
  s.split.map &:to_i
}

p (1..10**9).bsearch{|i|
  r = 0
  ab.map{|a, b|
    if a <= i
      r += [i, b].min - [i, a].min + 1
    end
  }
  r >= K
}