Line Balancing For SMT