设x，y满足约束条件 ，若目标函数z=ax+by（a>0，b>0）的值是最大值为12，则的最小值为          。