A program for solving soduku puzzles