#include <stdio.h>
int main()
{
  float ticks;
  scanf("%f",&ticks);
  printf("%.2f",ticks/4);
  return 0;
}