結果 : proc sql group by having