#include<iostream>
#include<algorithm>
using namespace std;
char team[210][20];
int score[210];

int cmp(int a, int b)
{
	return a>b;
}

int main()
{
	int T, N, num,i;
	while(1)
	{
		scanf("%d%d", &T, &N);
		if(!T)	break;
		for(i=0;i<T;i++)
		{
			scanf("%s", team[i]);
			scanf("%d", &score[i]);
		}
		sort(score, score+T, cmp);
		num=0;
		for(i=0;i<T;i++)
		{
			if(score[i]<3)
				break;
			num+=score[i]/3;		
		}
		printf("%d\n", N-num);

	}
	return 0;
}