0x6.sat