brute-force sudoku solver in java