اشغل تمام والمشكلة اتحلت بطريقة جيدة z3xالبوكس