import sequtils, strutils
proc f(n: seq[int]): int =
  result = 50 * n[0] + ((500 * n[0]) div (8 + 2 * n[1]))
let
  n: seq[int] = stdin.readline.split.map(parseInt)
  ans: int = f(n)
echo ans