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