Puzzle risolti da SMT