Sure. I did mention x≠2nx\ne2^nx=2n for positive innnteger nnn. So, more extended:
for any arbitrary positive integer nnn.
It can be seen inserting print(m) in the while loop.
So the answer is 12,