What makes an SAT tool good | PrepArc