bug detected in multiple_solutions