说明

为了迎接2022北京冬奥会，志愿者的选拔工作正在热烈地进行。

为了选拔最合适的人才服务冬奥会，北京市对所有报名的志愿者进行了笔试，笔试分数达到面试分数线的志愿者才能进入面试。面试分数线根据计划录取人数的150%划定，即如果计划录取m名志愿者，则面试分数线为排名第m*150%（向下取整）名的志愿者的分数，而最终进入面试的志愿者为笔试成绩不低于面试分数线的所有志愿者。

现在请你编写程序划定面试分数线，并输出所有进入面试的志愿者的报名号和笔试成绩。

输入格式

第一行，两个整数n，m，中间用一个空格隔开，其中n 表示报名参加笔试的志愿者总数，m 表示计划录取的志愿者人数。输入数据保证m*150%向下取整后小于等于n。

第二行到第 n+1 行，每行包括两个整数，中间用一个空格隔开，分别是志愿者的报名号k和该名志愿者的笔试成绩s。数据保证志愿者的报名号各不相同。

输出格式

第一行，有两个整数，用一个空格隔开，第一个整数表示面试分数线；第二个整数为进入面试的志愿者的实际人数。<o:p></o:p>

从第二行开始，每行包含两个整数，中间用一个空格隔开，分别表示进入面试的志愿者的报名号和笔试成绩，按照笔试成绩从高到低输出，如果成绩相同，则按报名号由小到大的顺序输出。<o:p></o:p>

样例

6 3
1000 90
3239 88
2390 95
7231 84
1005 95
1001 88

88 5
1005 95
2390 95
1000 90
1001 88
3239 88

提示

m*150% = 3*150% = 4.5，向下取整后为4。保证4 个人进入面试的分数线为88，但因为88有重分，所以所有成绩大于等于88 的选手都可以进入面试，故最终有5 个人进入面试。

100%的数据满足：5 ≤ n ≤ 5000，3 ≤ m ≤ n，1000 ≤ k ≤ 9999，1 ≤ s ≤ 100。