#include #include #include #include #include #include #include #include #include #include using namespace std; typedef long long ll; typedef unsigned long long ull; typedef pair pii; typedef vector vi; int main() { int A, B; cin >> A >> B; cout << (int)(50*A + (50*A/(0.8 + 0.2 * B))) << endl; return 0; }