#include <iostream>


int main() {
  unsigned int apple, a_piece, num_apple_pi;

  cin >> apple;
  cin >> a_piece;

  num_apple_pi = (3 * apple + a_piece) / 2;

  cout << num_apple_pi << endl;

  return 0;
}
