12.4 Big-M与完整性公差