regarding recommend/suggest settings from the SAT-solver