#include <bits/stdc++.h>
#define rep(i, n) for (int i = 0; i < n; i++)
#define print(x) cout << x << endl;
using namespace std;
typedef long long ll;

int main()
{
    int A, P

    cout << (A * 3 + P) / 2 << endl;


    return 0;
}