% 9-point cminch. design_size := 9; input b-cminch;