"use strict";
process.stdin.resume();
process.stdin.setEncoding("utf8");

var reader = require("readline").createInterface({
  input: process.stdin,
  output: process.stdout
});

reader.on("line", line => {
  let arr = line.split(/\s/).map(x => parseInt(x));
  let ans = 0;

  for (let i = 0; i < 2; i++) {
    arr.sort((a, b) => b - a);
    ans += arr[0]--;
  }
  console.log(ans);
});
