Dans mon corrigé, j'ai en effet utilisé l'approche manuelle (papier-crayon pour rester dans les conditions du concours Alkindi ;-)) pour prouver l'unicité de la solution, et certains raccourcis avec les congruences permettent d'éliminer de manière efficace de nombreux candidats modulo 60 pour trouver ensuite qu'il ne reste qu'une unique solution possible (et à posteriori un petit script m'a ensuite permis de vérifier la véracité de ma preuve).