jp6/cu126: links for sudoku-sat