Z3 5.7 1