minmax-of-minmax.ll 12 KB