Puzzles solved by Alpha-17