#include <stdio.h>

int a,b;
double c;

int main(int argc, char const *argv[]) {
    scanf("%d %d",&a,&b);
    c=50*a/(0.8+0.2*b);
    printf("%d\n",50*a+(int)c);
    return 0;
}