这是主语从句中的一种虚拟语气的用法.
it 做形式主语,真正的主语是that引导的主语从句,这道题的关键在于a pity,这个名词要求了主语从句必须用should do的结构,have to leave “必须离开”
It is+名词/形容词+that……
这个结构如果表示命令,请求,建议的意思时,绝大部分都要用虚拟语气should do的结构
希望能帮到您!