Solving of the Sudoku puzzle by using SAT problem solver