It turns out that the problem is way harder than it seems like it should be, and the problem has been repeating for years ...