#include <stdio.h>

int f(int N, int K){
    return N * 50 + 50 * N / (0.8 + 0.2 * K);
}

int main(){
    int A, B;
    
    scanf("%d %d", &A, &B);
    printf("%d\n", f(A, B));
    return 0;
}