#include <stdio.h>
int main()
{
int n = 0;
scanf("%d",&n);
int minute = 2; //自己坐电梯需要两分钟
while(n>=12)
{
n-=12; //排队的次数
minute+=4;
}printf("%d",minute);
return 0;
}

#include <stdio.h>
int main()
{
int n = 0;
scanf("%d",&n);
int minute = 2; //自己坐电梯需要两分钟
while(n>=12)
{
n-=12; //排队的次数
minute+=4;
}printf("%d",minute);
return 0;
}