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