fun readInt () = valOf (TextIO.scanStream (Int.scan StringCvt.DEC) TextIO.stdIn) val () = let val xp = readInt () val yp = readInt () val dist = Real.trunc (Math.sqrt (Real.fromInt (xp * xp + yp * yp))) val ans = dist * 2 + 1 in print (Int.toString ans ^ "\n") end