Postgresql 427z3 Solve For Z