# frozen_string_literal: true

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

p 50 * n + (50.0 * n / (Rational('0.8') + Rational('0.2') * k)).floor