Кексики
Після олімпіади задоволені, але голодні програмісти зайшли у наближче кафе і замовили собі N кексиків.
Технологія приготування кексу грунтується на тому, що тістова основа кексу повинна запікатись протягом двох хвилин, а глазур на кексі повинна запікатись одну хвилину. Для дотримання цих вимог повар при приготуванні кексу ставить його у духовку на одну хвилину без глазурі, після чого виймає, наносить глазур і знову ставить у духовку на одну хвилину, після чого кекс готовий. У другу хвилину запікається і тісто, і глазур, для глазурі це перша (і єдина необхідна) хвилина запікання, для тіста це друга хвилина запікання. Технологія дозволяє зробити паузу між двома стадіями, але не дозволяє розбити хвилину запікання на декілька частин. Одночасно можно запікати деякі кекси з глазур'ю, а деякі без глазурі.
У нявну у повара духовку поміщується K кексиків. Визначіть, скільки хвилин знадобиться повару, щоб виконати замовлення програмістів.
Вхідні дані
У єдиному рядку вхідного файлу записано через пропуск цілі числа N і K (1 ≤ N, K ≤ 1 000) — кількість кексиків і вмістимість духовки відповідно.
Вихідні дані
Виведіть у вихідний файл єдине число — мінімальну кількість хвилин, за яку повар зможе приготувати N кексиків.