Tagged solve-for-max