(function() {
function Main(input) {
  a = lines = input.split(" ")[0] * 1
  p = lines = input.split(" ")[1] * 1
  console.log(Math.floor((a * 3 + p) / 2))
}
Main(require("fs").readFileSync("/dev/stdin", "utf8"));
}())
