SMT För att bereda ett ännu större antalafall