#include<stdio.h>
#include<math.h>
int main(void){
    int N;      //  number of stars
    int K;      //  rank when solved
    double point;   //  midway calculation
    double total;

    scanf("%d %d",&N,&K);

    point = (50*N)/(0.8+0.2*K);

    total = 50*N + point;

    printf("%.0f\n",floor(total));

    return 0;
}