#include<stdio.h>
#include<stdlib.h>
int g,w,e[10001],c[10001];
int vector[50005001],vector2[50005001];
int main(){
	int i,j;
	FILE *fin=fopen("energii.in","r");
	fscanf(fin,"%d",&g);
	fscanf(fin,"%d",&w);
	for(i=1;i<=g;i++)
		fscanf(fin,"%d %d",&e[i],&c[i]);
	/*for(i=1;i<=g;i++)
		printf("%d %d \n",e[i],c[i]);
*/
	//printf("w=%d",w);
	FILE *fout=fopen("energii.out","w");
	
	long min=500000000;
	int puse=1,puse2=1;
	vector[1]=e[1];
	vector2[1]=c[1];
	for(j=2;j<=g;j++){
		puse=puse2;
		if(c[j]<=min){
			puse2++;
		vector[puse2]=e[j];
		vector2[puse2]=c[j];
		if((vector[puse2]>=w)&&(min>vector2[puse2]))
		min=vector2[puse2];
		//printf("min=%d\n\n",min);
		for(i=1;i<=puse;i++){
			if(vector2[i]+vector2[puse+1]<=min){
				puse2++;
				vector[puse2]=vector[puse+1]+vector[i];
			vector2[puse2]=vector2[puse+1]+vector2[i];
			if(vector[puse2]>=w&&vector2[puse2]<min)
				min=vector2[puse2];
			}
		}
		}
	}
		
	/*for(i=1;i<20;i++)
		printf("%d %d \n",vector[i],vector2[i]);*/
	if(min!=500000000)
	fprintf(fout,"%ld\n",min);
	else
		fprintf(fout,"-1\n");
	fprintf(fout,"\n");
	return 0;
}