solution to http://blog.computationalcomplexity.org/2009/11/17x17-challenge-worth-28900-this-is-not.html