[Bug 665064] New: kpatience / Spider solver reports false negative