Whilst some problems are not solvable, it doesn't mean that they are showstoppers. See https://news.ycombinator.com/item?id=12882181 elsewhere in the thread.