z3 support nhanh hơn khó sử dụng