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