#include<stdio.h>
int main()
{
int a,b;
scanf("%d%d",&a,&b);
int ans=50*a+(50*a/(0.8+0.2*b));
printf("%d",ans);
return 0;
}