>Polynomial doesn't mean practical. In practice, O(n^100) is not an improvement over O(2^n).

I literally said in my comment "and we have a constructive proof with an algorithm where the constants & degree aren't rediculous"