#include<stdio.h>
int main()
{
	double t;
	int n;
	scanf("%lf %d", &t, &n);
	printf("%.3lf %d", t / n * 1.0, 2 * n);
	return 0;
}