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