#include <bits/stdc++.h>
int main() {
  int potongan, buah;
  scanf("%d %d", &buah, &potongan);
  buah = buah * 3;
  buah = buah / 2;
  potongan = potongan / 2;
  int total = potongan + buah;
  printf("%d", total);
  return 0;
}
