细石混凝土修补作业是用比原混凝土强度等级高（）级的细石混凝土填补并仔细捣实。