At about the 7 minute mark of the http://www.youtube.com/watch?v=2TtyyM8K-aE video you talked about ofc algorithmically. The number of combinations is mind boggling.

Is ofc solvable? Are sites like Stars hesitant to offer it because of this question?