@GPRPichot thanks. NP just says a solution can be checked quite quickly - being able to check at all is enough for random guessing to work