#include <iostream>

using namespace std;
int c, i;
void f(int n){
    if(n<31) return;
    if(n==31) c++;
    f(n-4);
    f(n-5);
    f(n-2);

}

int main()
{
    for(i=31; i<1000; i++){
        c=0;
        f(i);
        if(c==1001) break;
        }
    cout << i;
    return 0;
}