sat_heuristic_validator
