2506.unisat