#include <iostream>
#include <cstdio>
using namespace std;
int main(){
    double price[6] = {0, 4, 4.5, 5, 2, 1.5};
    int id, amount; cin >> id >> amount;
    printf("Total: R$ %.2lf\n", price[id] * amount);
    return 0;
}