2607.unisat