Puzzels opgelost door SMT