Puzzles solved by auto