[nine] fixed bug where problem definition did not match exact solution