Failed to solve the following constraints: [0] Is empty: false2 ≅ true [0] Is empty: true2 ≅ true