Solves extremely hard Sudokus