nu m-as complica cu aplicatia aia, ori Z3 ori deloc.