A,B=gets.split.map &:to_f
a,b=(20*A-8*B)/13,(21*A-7*B)/13
p a<0 ? 7000*A : b<0 ? 4000*B : 1000*a+2000*b