⁵non-deterministic polynomial-time hard