a program that solves a Sudoku puzzle