implement _generate_problem__unsolvable()