Title: Symbolic Sudoku