之前的上机中，背包问题已经基本都和大家混了个脸熟，不过还有一种不是背包却以背包为名的问题，零崎只能说“我从未见过如此厚颜无耻之包”。梗玩过了，就进入正题。
M87星云盛产矿物，有红色的绿色的黄色的蓝色的银色的白色的……不同颜色的矿物产量不同用途不同自然价值也不一样。隔壁M78星云的人虽然说主要是用银色的做头盔，不过其他颜色的还可以拿来卖给地球人啊23333
某外星生物一次可以携带重量为G的矿物，现在他们面前有K块重量W，价值V的矿石，不过他们很厉害所以可以把矿石搓成矿砂再把矿砂搓成矿石。
外星生物穿越星际路费可是很贵的，如果他们带来的矿石价值不足N，则请你补足路费，否则你只要大喊一声summon，他们就会出现了！
多组输入数据
第一行为三个整数，分别为描述中的G K N
接下来K行，每行两个整数为W,V。
K小于10000，其他数据保证在int范围内，且W不为0
对于每组数据，输出一行，为“summon！”或者需要补充的路费，结果保留3位小数。
3 2 1
1 2
2 3
1 1 10
1 5summon!
5.000