#include <bits/stdc++.h>
using namespace std;
int main() {
float t;
int n;
cin >> t >> n;
printf("%.3f\n", t / n);
printf("%d", n * 2);
return 0;
}
