Puzzles solved by SHS