minimize 2^x + 4^{17-x}