function Main(input){
var tmp = input.split(' ');
var a = parseInt(tmp[0],10);
var b = parseInt(tmp[1],10);


console.log(parseInt((a*3 + b)/2));
}

//*この行以降は編集しないでください（標準入出力から一度に読み込み、Mainを呼び出します）
Main(require("fs").readFileSync("/dev/stdin", "utf8"));