Яся має намір організувати вечірку, щоб відсвяткувати закінчення навчального року, на яку планує запросити усіх своїх \(n\) друзів. Запрошення Яся виготовляє у вигляді складанки, на яку витрачає \(2\) аркуші паперу червоного кольору, \(5\) аркушів паперу зеленого кольору та \(8\) аркушів паперу синього кольору. У продажі є досить багато однокольорових наборів аркушів паперу кожного кольору. Кожний паперовий набір містить \(k\) аркушів. Допоможіть Ясі визначити мінімальну кількість наборів, які вона має придбати, щоб запросити усіх своїх друзів.

Вхідні дані:

Єдиний рядок стандартного входового потоку мстить два натуральних числа \(n\) та \(k (1 ≤ n,k ≤ 10^8)\) - кількість друзів у Ясі та кількість аркушів паперу в одному наборі відповідно.

Вихідні дані:

У стандартний виходовий потік виведіть одне натуральне число - мінімальну кількість наборів паперу, які має купити Яся.

Приклад вхідних даних 1

4 4

Приклад вихідних даних 1

15

Приклад вхідних даних 2

5 40

Приклад вихідних даних 2

3