const ll nd = 0b1101101001001ll;

void solve() {

    ll x; rd(x);

    YesNo((x > 14) or (1ll << (x - 1) & nd));

}

用一段比较优雅的代码来解决