#include <bits/stdc++.h>
using namespace std;
int n;
long long dp[100005];
int main()
{
    ios::sync_with_stdio(false);
    cin >> n;
    dp[0]=0;
    for(int i=1;i<=n;i++) dp[i]=INT_MAX;
    for(int i=1;i<=n;i++)
    {
        dp[i]=min(dp[i],dp[i-1]+1);
        if(i>=5) dp[i]=min(dp[i],dp[i-5]+1);
        if(i>=11) dp[i]=min(dp[i],dp[i-11]+1);
    }
    cout << dp[n];
    return 0;
}

rt，本地没有任何问题，上去测评之后全部RE