#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;

}

}