Complete, the sedoku2sat program works