w,z,b=gets.chomp.split(" ")
hs={"0.5"=>15,"0.8"=>18,"1.2"=>22,"1.6"=>26,"2.0"=>30}
puts (w.to_i+z.to_i)*hs[b]/10