Added backtracking in DLX.