A naive sudoku solver