#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 *******************************
//* Lock Binary Search
//* Locking e or s on target
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;
}
else s = mid+1;
}
cout << ans << endl;
}
void solve() {
a = {1, 2, 3, 6, 7, 9, 11, 12};
int n = a.size();
int k = 9;
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+Pj0gMTsKICAgIH0KICAgIHJldHVybiB4Owp9CgoKY29uc3QgaW50IE0gPSAxMDAwMDAwMDA3Owpjb25zdCBpbnQgTiA9IDNlNSs5Owpjb25zdCBpbnQgSU5GID0gMmU5KzE7CmNvbnN0IGludCBMSU5GID0gMjAwMDAwMDAwMDAwMDAwMDAwMTsKCi8vXyAqKioqKioqKioqKioqKioqKioqKioqKioqKioqKiBTVEFSVCBCZWxvdyAqKioqKioqKioqKioqKioqKioqKioqKioqKioqKioqCgoKLy8qIExvY2sgQmluYXJ5IFNlYXJjaCAKLy8qIExvY2tpbmcgZSBvciBzIG9uIHRhcmdldAoKdmVjdG9yPGludD4gYTsKdm9pZCBjb25zaXN0ZW5jeShpbnQgbiwgaW50IGspIHsKCQoJaW50IHMgPSAwLCBlPW4tMTsKCWludCBhbnMgPSBJTlQzMl9NQVg7Cgl3aGlsZShzPGUpewoJCWludCBtaWQgPSBzICsgKGUtcykvMjsKCQlpZihhW21pZF0+ayl7CgkJCWFucyA9IG1pbihhbnMsIGFbbWlkXSk7CgkJCWUgPSBtaWQ7CgkJfQoJCWVsc2UgcyA9IG1pZCsxOwoJfQoJCgljb3V0IDw8IGFucyA8PCBlbmRsOwoKfQoKdm9pZCBzb2x2ZSgpIHsKICAgIAogICAgYSA9IHsxLCAyLCAzLCA2LCA3LCA5LCAxMSwgMTJ9OwogICAgaW50IG4gPSBhLnNpemUoKTsKICAgIGludCBrID0gOTsKICAgIGNvbnNpc3RlbmN5KG4sIGspIDsKCn0KCgoKCgppbnQzMl90IG1haW4oKSB7CiAgICBpb3NfYmFzZTo6c3luY193aXRoX3N0ZGlvKDApOyBjaW4udGllKDApOyBjb3V0LnRpZSgwKTsKCiAgICBpbnQgdCA9IDE7CiAgICB3aGlsZSAodC0tKSB7CiAgICAgICAgc29sdmUoKTsKICAgIH0KCiAgICByZXR1cm4gMDsKfQ==