New Z3-4.3.2 was added.