Theo quan điểm cá nhân: PP giải này hợp lý, còn Z3 thì ngược lại. :P