Use software to solve the four-person game with unnormalized characteristic function

Use software to solve the four-person game with unnormalized characteristic function