Puzzles solved by Leonardo da Vinci