#include<stdio.h>

#define PI 3.1415926

int main()

{

/*double a;

scanf("%lf",&a);

printf("%.2f",PI*a/180);*/

int a;

float b;

scanf("%d",&a);

if(a<=3)

printf("8.0");

else

printf("%.1f",8.0+(a-3)*1.5);

return 0;

}