function main(args) {
  	var max = 0;
	var input = args.split(/\s/);
  	var a = input[0] * 1;
  	var b = input[1] * 1;
  	for (var i = 0; i <= 2; i++) {
    	if (a >= b) {
        	max += a;
          	a--;
        }
      	if (a < b) {
        	max += b;
          	b--;
        }
    }
  	console.log(max);
}

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