#include<bits/stdc++.h>
main(){
    int N,K;
    scanf("%d%d",&N,&K);
    printf("%d\n",50*N+(500*N)/(8+2*K));
}