Without passing a level argument directly to a sum-like reduction, compute the
sum of s for each label of the second level of its MultiIndex. Return a Series
indexed by the second-level labels.
Sample data:
s:
A 0 0
1 1
2 2
3 3
4 4
5 5
... (30 rows total)
solve(...)