Can SMT help me