function main(input) {
  // 入力値取得
  const inputValue = input.split(/\s/);
  const apples = formatNum(inputValue[0]);
  const parts = formatNum(inputValue[1]);

  // アップルパイを作る
  const pi = Math.floor(((3 * apples) + parts) / 2);
  console.log(pi);
};

// 文字列を数値に変換
function formatNum(str) {
  return Number(str);
};

main(require("fs").readFileSync("/dev/stdin", "utf8"));
