function main(input) {
    var args = input.trim().split(' ').map(v=>parseInt(v,10));
    console.log(Math.floor((args[0] * 3 + args[1]) / 2));
}
 
main(require("fs").readFileSync("/dev/stdin", "utf8"));