2502.unisat