Sudoku Constraint Propagation: Naked and Hidden Singles to a Fixed PointDeep-ML | Problem