Puzzles solved by Lagoa das Sete Cidades