https://owensfarm.co.uk/solving-the-sudoku-using-integer-programming.html