[option] new value ordering heuristic exploiting last solution found (solution-based phase saving). see option -solr