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