2505.unisat