2606.unisat