#include <iostream>
#include <fstream>
using namespace std;
ifstream f("date.in");
ofstream g("date.out");
int T, N, L, v[100][100],p,u,m;
int mini(int o)
{
    int mi=99999,p=0;
    for(int i=0; i<N; i++)
        if(mi>=v[i][o]&&v[i][o+2]==0)
        {
            mi=v[i][o];

        }
    for(int i=0; i<N&&p==0; i++)
        if(v[i][o]==mi&&v[i][o+2]==0)
        {
            v[i][o+2]=1;
            p=1;
        }
    return mi;
}
int func(int t,int o)
{
    int s=0;

    for(int i=0; i<N; i++)
    {
        int x=mini(o);
        s+=t/x;
    }
    return s;
}
int baut(int t)
{

    if(func(t,0)>=L&&func(t,1)>=L)
        return 1;
    return 0;
}
int main()
{
    f>>N>>L;
    for(int i=0; i<N; i++)
        for(int j=0; j<2; j++)
            f>>v[i][j];

    p=1;
    u=2*L;
    while(p<u)
    {
        m=p+(u-p)/2;
        if(baut(m))
            u=m-1;
        else p=m+1;

    }
    g<<m;



    return 0;
}