min(22x/12 + 7.5*10^6/2^x)