如果你 WA 了一些点，请检查是否存在两个变量相乘爆long long的情况。比如

if((__int128)mx*(1ll<<v)>=s) return true;