Don Knuth's MIP, 64 years later