Uomini contro macchine, chi è più bravo a risolvere i cruciverba? Software dell’Unipd