#include <stdio.h>
/*

分析:>如何去实现,怎么去实现

*/
int main()
{
    int n = 0;
    int count = 0;
    scanf("%d",&n);

    while(n > 12)
    {
        n -= 12;
        count +=4;//我这里用的是循环,肯定有比我简单更优秀的代码,但这也是我自己想出来的
    }
    if(n < 12)//走到这里肯定n是小于的了,既然小于 上去也需要时间 所以在 + 2分钟
    {
        count +=2;
    }    
    printf("%d",count);
    return 0;
}