busy - The Issue With SMT