#include<bits/stdc++.h>
using namespace std;
int main()
{
    int g,n;
    while(scanf("%d %d",&n,&g)!=EOF)
    {
        int a,b,sum=0,i,j;
        vector<int>v;
        for(i=0; i<n; i++)
        {
            scanf("%d %d",&a,&b);
            if(a-b>0)
                sum+=3;
            else if(a-b==0)
            {
                if(g>0)
                {
                    sum+=3;
                    g--;
                }
                else
                {
                    sum++;
                }

            }
            else
                v.push_back(b-a);
        }
        sort(v.begin(),v.end());
        if(g>0&&v.size()>0)
        {
            for(i=0; i<v.size(); i++)
            {
                if(g>v[i])
                {
                    sum+=3;
                    g-=(v[i]+1) ;
                }
                else if(g==v[i])
                {
                    sum++;
                    g+=v[i];
                    break;
                }
                else
                    break;
            }
        }
        cout<<sum<<endl;
        v.clear();
    }
    return 0;
}