Complete SMT Line Solutions