function main(input){
  const args=input.split(' ');
  const A=parseInt(args[0], 10);
  const P=parseInt(args[1], 10);
  console.log(Math.floor((3*A+P)/2));
}

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