If you didn't read the paper, at least read the title: "unsolvable" does not mean NP hard
This stuff is all in the same ballpark.
Having read their paper, I do appreciate the formulation and approach. I just don’t find the result “surprising” in the slightest.