#include <stdio.h>
int main(void) {
int n;
scanf("%d", &n);
int k7 = n / 7;
int r = n % 7;
int ans;
if (r == 0) {
ans = k7;
} else if (r == 1) {
ans = k7 + 1;
} else if (r == 2) {
ans = k7 + 2;
} else if (r == 3) {
if (k7 >= 1) {
ans = k7 - 1 + 2;
} else {
ans = k7 + 3;
}
} else if (r == 4) {
if (k7 >= 1) {
ans = k7 - 1 + 3;
} else {
ans = k7 + 4;
}
} else if (r == 5) {
ans = k7 + 1;
} else if (r == 6) {
ans = k7 + 2;
}
printf("%d", ans);
return 0;
}



京公网安备 11010502036488号