Understanding an "Unsatisfiable requirements" problems