The Times's main supplement, every day, is the times2, featuring various lifestyle columns. What is the name of the sudoku game in The Times