Pussel löst av SMT