Three Kings vs. Two Kings still confounds Milhouse?

A couple of years ago, I realized that Milhouse didn’t play the 3K vs. 2K engame properly. Today, in doing some testing, I realized that it still doesn’t. At one point, it misses the obvious trade in material, and therefore wanders into a draw by repetition. I suspected it is because something is awry in the evaluation function. I adjusted the balance of the evaluation function slightly: a one man lead when you are down to only three checkers is much greater than a one man lead at 5. That seems to have helped a bit. But there is still something curious about the position….