starting 4b
4b infeasible done as sudoku2.zpl