Allow per-problem maxunfolding, (re?)introduce depth