共20道题,求至少做对12道的概率.