Updated z3problems.