Yes, there are also instances of problems in NP that are hard to solve in practice.

But here again: solutions to your problem are easy to verify, so it might be interesting to let an AI have a go at solving it.