Компакт-диски

Чистые компакт-диски продают в трёх видах упаковок. Упаковка из $100$ дисков стоит $100$ грн., из $20$ дисков - $30$ грн., а один диск стоит $2$ грн. Какую минимальную сумму нужно истратить для покупки не менее $n$ таких дисков?

Входные данные

Количество дисков $n$ ($n$ ≤ $1000$).

Выходные данные

Вывести минимальную сумму в гривнах для покупки $n$ дисков.

Примеры