SAT碰撞检测