Return a randomized R if nothing else helps.
--relax-balance assumes --relax-tag-constraints.
Add --relax-all flag.
Don't claim that ErrorNoSolution means that it doesn't exist.
Export R.evaluation().
Choose R with best evaluation.
Add some greedy optimization of randomized R.
Remove dead code.