import math
 
# Entrada
entrada = "1 2"  # ingreso de datos (ejemplo: 10 hamburguesas y capacidad para 2 caras)
N, X = map(int, entrada.split())
 
# Validación de rango
if 1 <= N <= 10**9 and 1 <= X <= 1000:
    # Cada hamburguesa tiene 2 caras
    caras_totales = 2 * N
 
    # Si la freidora puede dorar más caras de las que hay
    if X >= 2:
        # Si hay suficiente capacidad para dorar ambas caras de diferentes hamburguesas en un minuto
        minutos = math.ceil(caras_totales / X)  # Calcular los minutos necesarios
    else:
        # Si solo puede dorar 1 cara a la vez, se necesitarán 2 minutos por hamburguesa
        minutos = 2 * N  # 2 minutos por cada hamburguesa
 
    # Salida
    print(int(minutos))  # Imprimir el resultado
else:
    print("Error: N debe estar entre 1 y 10^9, y X entre 1 y 1000.")
 
# Tiempo: ~0.01s  Memoria: ~7068KB
# Complejidad algorítmica: O(1)
# Donde N es la cantidad de hamburguesas y X es la capacidad máxima de la freidora por minuto.
 

aW1wb3J0IG1hdGgKCiMgRW50cmFkYQplbnRyYWRhID0gIjEgMiIgICMgaW5ncmVzbyBkZSBkYXRvcyAoZWplbXBsbzogMTAgaGFtYnVyZ3Vlc2FzIHkgY2FwYWNpZGFkIHBhcmEgMiBjYXJhcykKTiwgWCA9IG1hcChpbnQsIGVudHJhZGEuc3BsaXQoKSkKCiMgVmFsaWRhY2nDs24gZGUgcmFuZ28KaWYgMSA8PSBOIDw9IDEwKio5IGFuZCAxIDw9IFggPD0gMTAwMDoKICAgICMgQ2FkYSBoYW1idXJndWVzYSB0aWVuZSAyIGNhcmFzCiAgICBjYXJhc190b3RhbGVzID0gMiAqIE4KICAgIAogICAgIyBTaSBsYSBmcmVpZG9yYSBwdWVkZSBkb3JhciBtw6FzIGNhcmFzIGRlIGxhcyBxdWUgaGF5CiAgICBpZiBYID49IDI6CiAgICAgICAgIyBTaSBoYXkgc3VmaWNpZW50ZSBjYXBhY2lkYWQgcGFyYSBkb3JhciBhbWJhcyBjYXJhcyBkZSBkaWZlcmVudGVzIGhhbWJ1cmd1ZXNhcyBlbiB1biBtaW51dG8KICAgICAgICBtaW51dG9zID0gbWF0aC5jZWlsKGNhcmFzX3RvdGFsZXMgLyBYKSAgIyBDYWxjdWxhciBsb3MgbWludXRvcyBuZWNlc2FyaW9zCiAgICBlbHNlOgogICAgICAgICMgU2kgc29sbyBwdWVkZSBkb3JhciAxIGNhcmEgYSBsYSB2ZXosIHNlIG5lY2VzaXRhcsOhbiAyIG1pbnV0b3MgcG9yIGhhbWJ1cmd1ZXNhCiAgICAgICAgbWludXRvcyA9IDIgKiBOICAjIDIgbWludXRvcyBwb3IgY2FkYSBoYW1idXJndWVzYQogICAgCiAgICAjIFNhbGlkYQogICAgcHJpbnQoaW50KG1pbnV0b3MpKSAgIyBJbXByaW1pciBlbCByZXN1bHRhZG8KZWxzZToKICAgIHByaW50KCJFcnJvcjogTiBkZWJlIGVzdGFyIGVudHJlIDEgeSAxMF45LCB5IFggZW50cmUgMSB5IDEwMDAuIikKCiMgVGllbXBvOiB+MC4wMXMgIE1lbW9yaWE6IH43MDY4S0IKIyBDb21wbGVqaWRhZCBhbGdvcsOtdG1pY2E6IE8oMSkKIyBEb25kZSBOIGVzIGxhIGNhbnRpZGFkIGRlIGhhbWJ1cmd1ZXNhcyB5IFggZXMgbGEgY2FwYWNpZGFkIG3DoXhpbWEgZGUgbGEgZnJlaWRvcmEgcG9yIG1pbnV0by4K