2611.unisat