#include<iostream>
using namespace std;

int main() {
    double v;
    int t;
    cin >> v >> t;
    v *= 10000;
    double res = v * t;
    cout << res / 10000 << endl;
}