How SMT help me