0x95.unisat