[Bug 338624] solver should offer "ignore particular explicit requirement" as a possible problem solution