fun readInt () = valOf (TextIO.scanStream (Int.scan StringCvt.DEC) TextIO.stdIn) val () = let val a = readInt () val b = readInt () fun findAns 0 0 acc = acc | findAns x 0 acc = findAns (x - 1) 200 acc | findAns x y acc = (* floor x / (x + y) * 100 + 0.5 *) if (x * 100 + ((x + y) div 2)) div (x + y) = a andalso (y * 100 + ((x + y) div 2)) div (x + y) = b then findAns x (y - 1) (Int.min (acc, x + y)) else findAns x (y - 1) acc val ans = findAns 200 200 400 in print (Int.toString ans ^ "\n") end