non-binary to non-deterministic polynomial time