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