После олимпиады довольные, но голодные программисты зашли в ближайшее кафе и заказали себе \textbf{N} кексиков. Технология приготовления кекса исходит из того, что тестовая основа кекса должна запекаться в течение двух минут, а глазурь на кексе должна запекаться одну минуту. Для соблюдения этих требований повар при приготовлении кекса ставит его в духовку на одну минуту без глазури, после чего вынимает, наносит глазурь и снова ставит в духовку на одну минуту, после чего кекс готов. Во вторую минуту запекается и тесто, и глазурь, для глазури это первая (и единственная необходимая) минута запекания, для теста это вторая минута запекания. Технология позволяет сделать паузу между двумя стадиями, но не позволяет разбить минуту запекания на несколько частей. Одновременно можно запекать некоторые кексы с глазурью, а некоторые без глазури. В имеющуюся у повара духовку помещается \textbf{K} кексиков. Определите, сколько минут понадобится повару, чтобы выполнить заказ программистов. \InputFile В единственной строке входного файла записаны через пробел целые числа \textbf{N} и \textbf{K} (\textbf{1} ≤ \textbf{N}, \textbf{K} ≤ \textbf{1 000}) --- количество кексиков и вместимость духовки соответственно. \OutputFile Выведите в выходной файл единственное число --- минимальное количество минут, за которое повар сможет приготовить \textbf{N} кексиков.