z3 ile takas düşünür müsünüz