function Main(input) {
	tmp = input.split(" ");
	var a = parseInt(tmp[0]);
	var p = parseInt(tmp[1]);
	var r = 0;
	p += a * 3;
	r = parseInt(p / 2);
	console.log(r);
}

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