"hard for brute force solvers" problem from wikipeida