Make the unsatisfiable hint clearer about what it means