Add max_satisfying