A. Петя и оригами
ограничение по времени на тест
1 секунда
ограничение по памяти на тест
256 мегабайт
ввод
стандартный ввод
вывод
стандартный вывод

Петя устраивает вечеринку, поэтому он хочет пригласить $$$n$$$ друзей.

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

Определите минимальное количество блокнотов которые должен купить Петя, чтобы пригласить всех $$$n$$$ друзей.

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

Первая строка содержит два целых числа $$$n$$$ и $$$k$$$ ($$$1\leq n, k\leq 10^8$$$) — количество друзей Пети и количество листов в блокноте соответственно.

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

Выведите одно целое число — минимальное количество блокнотов, которые должен купить Петя.

Примеры
Входные данные
3 5
Выходные данные
10
Входные данные
15 6
Выходные данные
38
Примечание

В первом примере нужно $$$2$$$ блокнота с листами красного цвета, $$$3$$$ блокнота с листами зеленого цвета и $$$5$$$ блокнотов с листами синего цвета.

Во втором примере нам нужно $$$5$$$ блокнотов с листами красного цвета, $$$13$$$ блокнотов с листами зеленого цвета и $$$20$$$ блокнотов с листами синего цвета.