#include    <stdio.h>

int main(){
   double N, K;
    
    scanf("%lf%lf", &N, &K);
    printf("%.0f\n", N * 50 + 50 * N / (0.8 + 0.2 * K));
}