function main(input) {
  inputList = input.split(' ')
  a = parseInt(inputList[0], 10)
  p = parseInt(inputList[1], 10)
  p += a * 3
  console.log(Math.floor(p/2))
} 
main(require('fs').readFileSync('/dev/stdin', 'utf8'))