Symbolic Sudoku