Puzzles solved by HAK