23 \cdot 2^k