brute force sudoku solver