7526.unisat