#include<cstdio>
using namespace std;

int main()
{
    int A, B;
    scanf("%d %d", &A, &B);
    int ans = 50*A + int(250*A/(4+B));

    printf("%d\n", ans);

    return 0;
}