https://1library.net/document/zwr820ly-an-integer-programming-model-for-the-sudoku-problem.html