0x94.unisat