// yukicoder: No.57 ミリオンダイス
// 2019.4.20 bal4u

#include <stdio.h>

int main()
{
	int N;
	char *s[] = { "%d\n", "%d.5\n" };

	scanf("%d", &N);
	N *= 7;
	printf(s[N & 1], N >> 1);
	return 0;
}