Add sudoku_philc again