implement _generate_problem__solvable()