#import <stdio.h>

int p(int x, int n) {
    int result = 1;
    while (n > 0) {
        if ((n % 2) == 0) {
            x *= x;
            n >>= 1;
        } else {
            result *= x;
            n--;
        }
    }
    return result;
}

int main(){
    int n,m;
    scanf("%d %d",&n,&m);
    printf("%d",100*p(2,m)*(n+18*m));
    return 0;
}
