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