Oleg Zaikin: Inverting 43-step MD4 via Cube-and-Conquer. IJCAI 2022: 1894-1900