Optimal approximation for the submodular welfare problem in the value oracle model | Synapse