В авиакомпании Б для того, чтобы достичь в бонусной программе серебряного статуса, необходимо за текущий календарный год накопить $20\,000$ квалификационных миль, которые начисляют за совершённые перелёты. Мили прошлых лет, а также мили, полученные за покупки у партнёров, квалификационными не являются. Если квалификационных миль для присвоения статуса не хватает, то в конце года любые из имеющихся миль можно обменять на квалификационные. А именно, $7\,500$ миль можно обменять на $1\,000$ квалификационных, а $30\,000$ миль можно обменять на $5\,000$ квалификационных.

Евгений Васильевич накопил $n$ миль, $k$ из которых являются квалификационными. Если количества достаточно, чтобы с учётом возможных обменов достичь серебряного статуса, то менять свои мили на квалификационные Евгений Васильевич хочет так, чтобы в результате у него осталось как можно больше миль. Помогите ему~--- определите, какое максимальное общее количество миль будет у Евгения Васильевича после обменов, необходимых для получения как минимум $20\,000$ квалификационных миль, или определите, что с имеющимися милями достичь серебряного статуса невозможно.