n,k = gets.split.map(&:to_i)

p 50*n + 500*n / (8+2*k)