#include <fstream>
using namespace std;

ifstream fin("lapte.in");
ofstream fout("lapte.out");

struct Tabel{
    int a,b;
}vit[105];
int L, rasp, n, dp[105][105], mat[105][105];

void VerifMatrice()
{
    int i,j;
    for(j=0; j<=100; j++)
    {
        if(j<10)
            fout<<' ';
        fout<<j<<' ';
    }
    fout<<'\n';
    for(i=1; i<=n; i++)
    {
        for(j=0; j<=100; j++)
            fout<<dp[i][j]<<' ';
        fout<<'\n';
    }
}
int VerifTimp(int t)
{
    int a,b,i,j,k;
    for(i=1; i<=n; i++)
    {
        a=vit[i].a;
        b=vit[i].b;
        for(j=0; j<=100; j++)
        {
            if(i==1)
                dp[i][j]=(t-j*a)/b;
            else
                dp[i][j]=-1;
        }
    }
    for(i=2; i<=n; i++)
    {
        for(j=0; j<=100; j++)
        {
            for(k=0; k<=j; k++)
            {
                int val=dp[i-1][j-k]+(t-k*a)/b;
                if(dp[i][j]==-1)
                    dp[i][j]=val;
                else if(dp[i][j]<val)
                {
                    dp[i][j]=val;
                    mat[i][j]=k;
                }
            }
        }
    }
    for(j=L; j<=100; j++)
    {
        if(dp[n][j]>=L)
            return 1;
    }
    return 0;
}
int main()
{
    int i,j,ok;
    int st=1, dr=100, med;
    fin>>n>>L;
    for(i=1; i<=n; i++)
        fin>>vit[i].a>>vit[i].b;
    while(st<=dr)
    {
        med=(st+dr)/2;
        ok=VerifTimp(med);
        // fout<<med<<'\n';
        // VerifMatrice();
        // fout<<'\n';
        if(ok==1)
        {
            rasp=med;
            dr=med-1;
        }
        if(ok==0)
            st=med+1;
    }
    fout<<rasp;
    return 0;
}