You’re correct, it’s not unsolvable, which is why it is being solved. It’s just a slow process, for the reasons mentioned.