Working Sudoku solver using DLX