#include <bits/stdc++.h>
using namespace std;
int main(int argc, char** argv) {
double v, r;
while(cin>>v>>r)
{
cout << fixed << setprecision(4) << v/r*1000 << endl;
}