#include <stdio.h> int main(void){ int N,K; scanf("%d",&N); scanf("%d",&K); printf("%d",50 * N + (250 * N / (4 + K))); }