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