# coding: utf-8
# Here your code !
N, K = map(int, input().split())

print(int(50 * N + 50 * N // (0.8 + 0.2 * K)))