import math
 
# Entrada
entrada = "10 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:
    # Total de minutos necesarios
    # Cada hamburguesa necesita 2 minutos para dorar sus caras, no importa cuántas se puedan dorar simultáneamente
    minutos = 0
    for _ in range(N):
        minutos += 2  # 2 minutos por hamburguesa para dorar ambas caras
 
    # 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(N)
# Donde N es la cantidad de hamburguesas y X es la capacidad máxima de la freidora por minuto.
 

aW1wb3J0IG1hdGgKCiMgRW50cmFkYQplbnRyYWRhID0gIjEwIDIiICAjIGluZ3Jlc28gZGUgZGF0b3MgKGVqZW1wbG86IDEwIGhhbWJ1cmd1ZXNhcyB5IGNhcGFjaWRhZCBwYXJhIDIgY2FyYXMpCk4sIFggPSBtYXAoaW50LCBlbnRyYWRhLnNwbGl0KCkpCgojIFZhbGlkYWNpw7NuIGRlIHJhbmdvCmlmIDEgPD0gTiA8PSAxMCoqOSBhbmQgMSA8PSBYIDw9IDEwMDA6CiAgICAjIFRvdGFsIGRlIG1pbnV0b3MgbmVjZXNhcmlvcwogICAgIyBDYWRhIGhhbWJ1cmd1ZXNhIG5lY2VzaXRhIDIgbWludXRvcyBwYXJhIGRvcmFyIHN1cyBjYXJhcywgbm8gaW1wb3J0YSBjdcOhbnRhcyBzZSBwdWVkYW4gZG9yYXIgc2ltdWx0w6FuZWFtZW50ZQogICAgbWludXRvcyA9IDAKICAgIGZvciBfIGluIHJhbmdlKE4pOgogICAgICAgIG1pbnV0b3MgKz0gMiAgIyAyIG1pbnV0b3MgcG9yIGhhbWJ1cmd1ZXNhIHBhcmEgZG9yYXIgYW1iYXMgY2FyYXMKICAgIAogICAgIyBTYWxpZGEKICAgIHByaW50KGludChtaW51dG9zKSkgICMgSW1wcmltaXIgZWwgcmVzdWx0YWRvCmVsc2U6CiAgICBwcmludCgiRXJyb3I6IE4gZGViZSBlc3RhciBlbnRyZSAxIHkgMTBeOSwgeSBYIGVudHJlIDEgeSAxMDAwLiIpCgojIFRpZW1wbzogfjAuMDFzICBNZW1vcmlhOiB+NzA2OEtCCiMgQ29tcGxlamlkYWQgYWxnb3LDrXRtaWNhOiBPKE4pCiMgRG9uZGUgTiBlcyBsYSBjYW50aWRhZCBkZSBoYW1idXJndWVzYXMgeSBYIGVzIGxhIGNhcGFjaWRhZCBtw6F4aW1hIGRlIGxhIGZyZWlkb3JhIHBvciBtaW51dG8uCg==