firster = input();
firstd = firster.split(" ");

syoko = 50*int(firstd[0]);
niko = int((50*int(firstd[0]))/int(0.8+(0.2*int(firstd[1]))));


print(syoko+niko);