Minimizing maximizer

OpenJ_Bailian - 1769