This somehow nudges the solver towards a sane plan for `winery`.