n;main(k){scanf("%d%d",&n,&k);n=!printf("%d",50*n*(9+k)/(4+k));}