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

} 

return 0;

}