#include<bits/stdc++.h>
using namespace std;
#define int long long
#define REP(i,a,b) for(int i=(int)(a);i<(int)(b);i++)
#define rep(i,n) REP((i),0,(n))
#define RREP(i,a,b) for(int i=(int)(a);i>=(int)(b);i--)
#define rrep(i,n) RREP(i,n,0)
#define each(it,X) for(__typeof((X).begin())  it=(X).begin();it!=(X).end();it++)
#define all(v) ((v).begin(),(v).end())
#define fi first
#define se second
#define pb push_back
typedef pair<int,int>pr;
typedef vector<int>vi;
typedef vector<vi>vvi;
typedef set<int>si;
const int INF=1070000000ll;
const int mod=1000000007ll;

int N;
int a[100];

int seet[17];
queue<int>Q;

void in(int t){
    while(!Q.empty()){
        int p=Q.front();
        int n=(p%5==1?5:2);
        bool in_flag=false;
        for(int i=0;i+n<=17;i++){
            bool flag=true;
            for(int j=i;j<i+n;j++){
                if(seet[j]){
                    flag=false;
                    break;
                }
            }
            if(!flag)continue;
            Q.pop();
            for(int j=i;j<i+n;j++){
                seet[j]=17*(p%2)+3*(p%3)+19;
            }
            a[p]=t-5*p;
            in_flag=true;
            break;
        }
        if(!in_flag)return;
    }
}
void eat(){
    for(int i=0;i<17;i++)if(seet[i])seet[i]--;
}
signed main(){

    for(int i=0;i<500||!Q.empty();i++){
        if(i%5==0&&i<500)Q.push(i/5);
        in(i);
        eat();
    }

    while(scanf("%d",&N)!=EOF)printf("%d\n",a[N]);
    return 0;
}