Puzzles resolvidos por SMT