fix bug related to the given-up-solution