CIS 2015 Libretto sudoku