Puzzles solved by hastan