2706.unisat