https://123dok.net/document/zx53000w-an-mcsat-treatment-of-bit-vectors-preliminary-report.html