一只蚂蚁在三边边长分别为3，4，5的三角形的边上爬行，某时刻该蚂蚁距离三角形的三个顶点的距离均超过1的概率为______．

关于建筑工程质量不符合要求时的处理说法，正确的有（）

A.通过返修或加固处理仍不能满足安全使用要求的分部工程、单位（子单位）工程，严禁验收

B.经有资质的检测单位检测鉴定能够达到设计要求的检验批，应予以验收

C.经返工重做或更换器具、设备的检验批，应重新进行验收

D.经返修或加固处理的分部、分项工程，虽然改变外形尺寸但仍能满足安全使用要求，可按技术处理方案和协商文件进行验收

E.经有资质的检测单位检测鉴定达不到设计要求，再经原设计单位核算，认为能够满足结构安全及使用功能的检验批，严禁验收