#include 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; }