Puzzles solved by Hammer