2412.unisat