New example: sudoku solver