#include <bits/stdc++.h>
using namespace std;


int d[100][5]={0};//来店時刻/人数/食事時間/着席時間/待ち時間/
int wait=0;//待っている客の番号
int Min=0;//現在時間

int isu[17]={0};
int isu_chk(int num){
	int tmp=0;
	for(int i=0;i<17;i++){
		if(isu[i]==-1)tmp++;
		else tmp=0;
		if(tmp>=num)return i-num+1;
	}
	return -1;
}
void tyaku(int pos,int name){
	for(int i=0;i<d[name][1];i++){
		isu[pos+i]=name;
	}
}
void update(){
	for(int i=0;i<17;i++){
		if(isu[i]<0)continue;
		if(Min>=d[isu[i]][2]+d[isu[i]][3]){
			isu[i]=-1;
		}
	}
}


void init(){
	for(int i=0;i<17;i++)isu[i]=-1;
	for(int i=0;i<100;i++){
		d[i][0]=5*i;
		d[i][1]=(i%5==1?5:2);
		d[i][2]=17*(i%2)+3*(i%3)+19;
		d[i][3]=-1;
		d[i][4]=-1;
		//cout<<i<<"\t"<<d[i][0]<<"\t"<<d[i][1]<<"\t"<<d[i][2]<<"\n";
	}
	
	for(;wait<100;Min++){
		update();
		while(true){
			if(Min<d[wait][0])break;
			if(isu_chk(d[wait][1])==-1)break;
			d[wait][3]=Min;
			d[wait][4]=Min-d[wait][0];
			tyaku(isu_chk(d[wait][1]),wait);
			wait++;
			if(wait>=100)break;
		}
	}
}

int main(){
	init();
	
	for(int n;cin>>n;)cout<<d[n][4]<<endl;
	
	return 0;
}
