Log the algorithm used by the heuristics
Log the min_sat algorithm