0526.unisat