let i = require('fs').readFileSync('/dev/stdin', 'utf8').split('\n')[0].split(' ').map((e) => parseInt(e))
console.log(Math.floor(Math.sqrt(i[0] * i[0] + i[1] * i[1]) * 2) + 1);