solve sudoku via DLX