#include <stdio.h>

int main() {
    int g, p, amigo = 0;

    scanf("%d", &g);
    scanf("%d", &p);

    amigo = g * 8 + p * 4 - 2;

    printf("%d\n", amigo);
    
    return 0;
}