# Entrada
entrada = "10 3"  # ingreso de datos
N, X = map(int, entrada.split())
 
# Validación de rango
if 1 <= N <= 10**9 and 1 <= X <= 1000:
    # Calculamos el número total de minutos necesarios
    if N % X == 0:  # Verifica si N es múltiplo de X las tandas seran enteras
        minutos = int(2 * N / X)  # Cada tanda seria par asi que no sobraria nada 
    else:
        minutos = int(N / X) + 2  # lo que sobra necesita 2 min para freir no es multiplo 
 
    # 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)
 

IyBFbnRyYWRhCmVudHJhZGEgPSAiMTAgMyIgICMgaW5ncmVzbyBkZSBkYXRvcwpOLCBYID0gbWFwKGludCwgZW50cmFkYS5zcGxpdCgpKQoKIyBWYWxpZGFjacOzbiBkZSByYW5nbwppZiAxIDw9IE4gPD0gMTAqKjkgYW5kIDEgPD0gWCA8PSAxMDAwOgogICAgIyBDYWxjdWxhbW9zIGVsIG7Dum1lcm8gdG90YWwgZGUgbWludXRvcyBuZWNlc2FyaW9zCiAgICBpZiBOICUgWCA9PSAwOiAgIyBWZXJpZmljYSBzaSBOIGVzIG3Dumx0aXBsbyBkZSBYIGxhcyB0YW5kYXMgc2VyYW4gZW50ZXJhcwogICAgICAgIG1pbnV0b3MgPSBpbnQoMiAqIE4gLyBYKSAgIyBDYWRhIHRhbmRhIHNlcmlhIHBhciBhc2kgcXVlIG5vIHNvYnJhcmlhIG5hZGEgCiAgICBlbHNlOgogICAgICAgIG1pbnV0b3MgPSBpbnQoTiAvIFgpICsgMiAgIyBsbyBxdWUgc29icmEgbmVjZXNpdGEgMiBtaW4gcGFyYSBmcmVpciBubyBlcyBtdWx0aXBsbyAKCiAgICAjIFNhbGlkYQogICAgcHJpbnQoaW50KG1pbnV0b3MpKSAgIyBJbXByaW1pciBlbCByZXN1bHRhZG8KZWxzZToKICAgIHByaW50KCJFcnJvcjogTiBkZWJlIGVzdGFyIGVudHJlIDEgeSAxMF45LCB5IFggZW50cmUgMSB5IDEwMDAuIikKCiMgdGllbXBvID0gMC4wMXMgIG1lbW9yaWE9IDcwNjhLQgoKIyBDb21wbGVqaWRhZCBhbGdvcsOtdG1pY2E6IE8oMSkK