#include <bits/stdc++.h>
using namespace std;
using ll = long long;
using P = pair<int, int>;
int main() {
  int A, P;
  cin >> A, P;
  int ans;
  ans = 3 * A + P;
  cout << ans / 2 << endl;
  return 0;
}
