#include<bits/stdc++.h> using namespace std; int dp[1000001]; int main(){ int n; cin>>n; for (int i=1;i<=n;i++){ int cost=0x3f3f3f3f; if (i-1>=0) cost=min(cost,dp[i-1]+1); if (i-5>=0) cost=min(cost,dp[i-5]+1); if (i-11>=0) cost=min(cost,dp[i-11]+1); dp[i]=cost; } cout<<dp[n]; return 0; }