1 calls to
SOLVER_TRIPLE
TRIPLE_COLUMN