2609.unisat