HOT
德雷克方程新解