fun readInt () = valOf (TextIO.scanStream (Int.scan StringCvt.DEC) TextIO.stdIn) val () = let val a = readInt () val b = readInt () val min = Int.min(a, b) val diff = abs (a - b) val ans = if 0 < diff then min * 2 else min * 2 - 1 in print (Int.toString ans ^ "\n") end