#include<bits/stdc++.h>
using lint=long long;
using real=long double;
int main(){
    std::cin.tie(nullptr);std::ios_base::sync_with_stdio(false);
    std::cout.setf(std::ios_base::fixed);std::cout.precision(15);
    lint n,k;std::cin>>n>>k;
    std::vector<std::pair<lint,lint>>a(n);
    for(auto&&p:a)std::cin>>p.first>>p.second;
    lint l=0,r=1'000'000'001;
    while(1<r-l){
        lint c=(l+r)/2,cnt=0;
        for(auto&&[x,y]:a){
            cnt+=std::max(0ll,std::min(c,y)-x+1);
        }
        (k<=cnt?r:l)=c;
    }
    std::cout<<r<<'\n';
}