T4分成两半，每一半都把2^（n/2）种可能算出来放到一个set里面，然后for一遍前一半的set，找比（m-前一半那个循环的值）小的最大的数，两个加起来，更新ans，总复杂度n*2^（n/2）
