Lessons from Modeling Sudoku in Excel · Study