三角形三个内角度数之比是1：2：3，最大边长是12，则它的最小边的长是．