#include<bits/stdc++.h>
using namespace std;
int mins=1e7;
void dfs(int n,int s)
{
	if(n<=0)
	{
		if(!n) mins=min(mins,s);
		return ;
	}
	dfs(n-1,s+1);
	dfs(n-5,s+1);
	dfs(n-11,s+1);
}
int main()
{
	int n;
	cin>>n;
	dfs(n,0);
	cout<<mins;
 	return 0;
}