Giải hệ bất phương trình v2

• Cắt vòng lặp nếu có biến vô nghiệm
• Nâng cấp cách tạo thư viện hệ tiêu biến:
  • Sắp xếp bất phương trình theo nguồn gốc (từ phương trình hay từ bpt),