#include <cstdio>
#include <string>
#include <vector>
#include <numeric>

using namespace std;
// #define int long long
#define repd(i,a,b) for (int i=(a);i<(b);i++)
#define rep(i,n) repd(i,0,n)

int inputValue(){
    int a;
    cin >> a;
    return a;
};

void inputArray(int * p, int a){
    rep(i, a){
        cin >> p[i];
    }
};

int main(int argc, const char * argv[]) {

    // source code
    // char s[4];
    int A, P;
    cin >> A >> P;

    P += A * 3;

    cout << P / 2 <<endl;


    return 0;
}
