a,b=gets.split.map{|e| e.to_i}
e1=Rational(50*a,1)
e2=Rational("8/10")
e3=Rational("2/10")
e4=Rational(b,1)
p (e1+(e1/(e2+e3*e4))).ceil