#include <iostream>

int main() {
    int a, b; std::cin >> a >> b;
    std::cout << 50 * a + (int)(50 * a / (0.8 + 0.2 * b)) << std::endl;
}