特判总数小于$7$：输出0.000。