0x4.sat