Кексики#1996
Після Олімпіади задоволені, але голодні програмісти пішли до найближчого кафе та замовили кексів.
Процес приготування кексу включає випікання тіста протягом двох хвилин та глазурі протягом однієї хвилини. Для цього шеф-кухар спочатку поміщає кекс у духовку на одну хвилину без глазурі. Після цього кекс витягують, наносять глазур і повертають у духовку ще на одну хвилину. Після цього кекс готовий. Під час другої хвилини випікаються і тісто, і глазур; це перша (і єдина необхідна) хвилина для глазурі та друга хвилина для тіста. Між цими двома етапами дозволяється пауза, але не дозволяється розділяти хвилину випікання на менші частини. Деякі кекси можуть випікатися з глазур’ю, а інші — без глазурі одночасно.
Духовка шеф-кухаря вміщує одночасно кексів. Визначте, скільки хвилин знадобиться шеф-кухарю, щоб виконати замовлення програмістів.
Вхідний файл містить єдиний рядок з двох цілих чисел і (1 \leq N, K \leq 1000) — кількість кексів і місткість духовки відповідно.
Виведіть єдине число — мінімальну кількість хвилин, необхідних шеф-кухарю для приготування кексів.
Приклад 1