对于30%的数据,n<=30.
对于60%的数据,n<=60.
uses math;
var
a,b,c,l,r,mid,i,j,k:longint;
v:array[1..100,1..2]of longint;
f:array[0..100,0..100]of longint;
begin
assign(input,'company.in');reset(input);
assign(output,'company.out');rewrite(output);
readln(a,b);
for c:=1 to a do
readln(v[c,1],v[c,2]);
r:=1000;
l:=1;
while l<r do
begin
mid:=(l+r) div 2;
for i:=0 to 100 do
for j:=0 to 100 do
f[i,j]:=-maxlongint div 3;
f[0,0]:=0;
for i:=1 to a do
begin
for j:=0 to b do
begin
for k:=0 to j do
begin
if k*v[i,1]>mid then
break;
f[i,j]:=max(f[i,j],f[i-1,j-k]+((mid-k*v[i,1])div v[i,2]));
end;
end;
end;
if f[a,b]>=b then
r:=mid
else
l:=mid+1;
end;
writeln(l);
close(input);
close(output);
end.