Invalid ID SMT