#include <bits/stdc++.h>
using namespace std;
#define int long long int
#define double long double
inline int power(int a, int b) {
int x = 1;
while (b) {
if (b & 1) x *= a;
a *= a;
b >>= 1;
}
return x;
}
const int M = 1000000007;
const int N = 3e5+9;
const int INF = 2e9+1;
const int LINF = 2000000000000000001;
//_ ***************************** START Below *******************************
//? Standard BS
vector<int> a;
void consistency(int n, int k) {
int s = 0, e=n-1;
int ans = INT32_MAX;
while(s<=e){
int mid = s + (e-s)/2;
if(a[mid]>k){
ans = min(ans, a[mid]);
e = mid-1;
}
else s = mid+1;
}
cout << ans << endl;
}
void solve() {
a = {1, 2, 3, 6, 7, 9, 11, 12};
int n = a.size();
int k = 6;
consistency(n, k) ;
}
int32_t main() {
ios_base::sync_with_stdio(0); cin.tie(0); cout.tie(0);
int t = 1;
while (t--) {
solve();
}
return 0;
}
I2luY2x1ZGUgPGJpdHMvc3RkYysrLmg+CnVzaW5nIG5hbWVzcGFjZSBzdGQ7CiNkZWZpbmUgaW50ICAgICAgICAgICAgICBsb25nIGxvbmcgaW50CiNkZWZpbmUgZG91YmxlICAgICAgICAgICBsb25nIGRvdWJsZQppbmxpbmUgaW50IHBvd2VyKGludCBhLCBpbnQgYikgewogICAgaW50IHggPSAxOwogICAgd2hpbGUgKGIpIHsKICAgICAgICBpZiAoYiAmIDEpIHggKj0gYTsKICAgICAgICBhICo9IGE7CiAgICAgICAgYiA+Pj0gMTsKICAgIH0KICAgIHJldHVybiB4Owp9CgoKY29uc3QgaW50IE0gPSAxMDAwMDAwMDA3Owpjb25zdCBpbnQgTiA9IDNlNSs5Owpjb25zdCBpbnQgSU5GID0gMmU5KzE7CmNvbnN0IGludCBMSU5GID0gMjAwMDAwMDAwMDAwMDAwMDAwMTsKCi8vXyAqKioqKioqKioqKioqKioqKioqKioqKioqKioqKiBTVEFSVCBCZWxvdyAqKioqKioqKioqKioqKioqKioqKioqKioqKioqKioqCgoKLy8/IFN0YW5kYXJkIEJTCnZlY3RvcjxpbnQ+IGE7CnZvaWQgY29uc2lzdGVuY3koaW50IG4sIGludCBrKSB7CgkKCWludCBzID0gMCwgZT1uLTE7CglpbnQgYW5zID0gSU5UMzJfTUFYOwoJd2hpbGUoczw9ZSl7CgkJaW50IG1pZCA9IHMgKyAoZS1zKS8yOwoJCWlmKGFbbWlkXT5rKXsKCQkJYW5zID0gbWluKGFucywgYVttaWRdKTsKCQkJZSA9IG1pZC0xOwoJCX0KCQllbHNlIHMgPSBtaWQrMTsKCX0KCQoJY291dCA8PCBhbnMgPDwgZW5kbDsKCn0KCnZvaWQgc29sdmUoKSB7CiAgICAKICAgIGEgPSB7MSwgMiwgMywgNiwgNywgOSwgMTEsIDEyfTsKICAgIGludCBuID0gYS5zaXplKCk7CiAgICBpbnQgayA9IDY7CiAgICBjb25zaXN0ZW5jeShuLCBrKSA7Cgp9CgoKCgoKaW50MzJfdCBtYWluKCkgewogICAgaW9zX2Jhc2U6OnN5bmNfd2l0aF9zdGRpbygwKTsgY2luLnRpZSgwKTsgY291dC50aWUoMCk7CgogICAgaW50IHQgPSAxOwogICAgd2hpbGUgKHQtLSkgewogICAgICAgIHNvbHZlKCk7CiAgICB9CgogICAgcmV0dXJuIDA7Cn0=