Popular puzzles created by smt