scanf("%d%d", &n, &m);
m = m * 15 / 10;
for(int i = 0; i < n; i++)
	scanf("%d%d", &s[i].id, &s[i].score);
sort(s, s + n, cmp);
while(m < n && s[m].score == s[m-1].score)
	m++;
printf("%d %d\n", s[m-1].score, m);
for(int i = 0; i < m; i++)
	printf("%d %d\n", s[i].id, s[i].score);