I think it wrong that the solver would pick the most complex resolution rather than the simplest. I'll add a feature request.