added debugging output to SolutionGuarantor