若a^2+2b^2=12,则ab的最大值是