Puzzles solved by Smt