Added test to chack whether hard Sudoku can be solved (not yet)