Puzzle gelöst von SMT