APO/z3-use-case/reviews/329575/solution-aff3a.md