#include <bits/stdc++.h>
using namespace std;
void solve() {
  long long n, x;
  scanf("%lld", &n);
  scanf("%lld", &x);
  long long ans = n + 3 * x + x / (2);
  printf("%lld\n", ans);
}
int main() {
  long long t;
  solve();
}
