Popular puzzles created by SMT