#include <bits/stdc++.h>
using namespace std;

int main()
{

ios::sync_with_stdio(false);
cin.tie(nullptr);

     
    int k, g;
    cin >> k >> g;
    
    cout << (k*4) + (g*2);
    
     
    return 0;
}