To be fair I should say that the "algorithm" they follow in the solution isn't computable either.
Yes, thank you for saying this.
If it's worth saying, but not worth its own post (even in Discussion), then it goes here.