>> If they were really stupid, a Prolog program, a genetic algorithm or a SAT solver would be enough to reach the goal. Clearly it was not the case.

"Clearly" as in "somebody tried that and failed" or "clearly" as in nobody ever thought to try it and now nobody will because there's no point?