ThreeIntEquations has no solution
solution offered
Revert "solution offered"

Constraint learning is more interesting
when there is no valid solution.
printing out arguments to learn function
custom constraint learning works!

I am flabbergasted.
yup, still works