# 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)