PizzaForces — любимая пиццерия Пети. В PizzaForces готовят и продают пиццы трех размеров: маленькая пицца состоит из $$$6$$$ кусочков, средняя — из $$$8$$$, а большая — из $$$10$$$. На приготовление маленькой, средней или большой пиццы уходит $$$15$$$, $$$20$$$ или $$$25$$$ минут, соответственно.

Сегодня у Пети день рождения, и к нему придут $$$n$$$ его друзей, поэтому он решил сделать заказ из своей любимой пиццерии. Петя хочет заказать столько пиццы, чтобы каждому из друзей достался хотя бы один кусочек пиццы. Время приготовления заказа — это суммарное время приготовления всех пицц в заказе.

Ваша задача — определить минимальное количество минут, которое необходимо для приготовления пицц, содержащих суммарно хотя бы $$$n$$$ кусочков. Например:

• если $$$12$$$ друзей придут к Пете, он должен сделать заказ, состоящий хотя бы из $$$12$$$ кусочков. Он может заказать две маленьких пиццы, в которых ровно $$$12$$$ кусочков, и время их приготовления — $$$30$$$ минут;
• если $$$15$$$ друзей придут к Пете, он должен сделать заказ, состоящий хотя бы из $$$15$$$ кусочков. Он может заказать одну маленькую пиццу и одну большую, и получится $$$16$$$ кусочков. Время приготовления в таком случае будет $$$40$$$ минут;
• если $$$300$$$ друзей придут к Пете, он должен сделать заказ, состоящий хотя бы из $$$300$$$ кусочков. Он может заказать $$$15$$$ маленьких пицц, $$$10$$$ средних и $$$13$$$ больших, суммарно они состоят из $$$15 \cdot 6 + 10 \cdot 8 + 13 \cdot 10 = 300$$$ кусочков, и на их приготовление потребуется $$$15 \cdot 15 + 10 \cdot 20 + 13 \cdot 25 = 750$$$ минут;
• если к Пете придет только один друг, Петя может заказать одну маленькую пиццу, на приготовление которой уйдет $$$15$$$ минут.