Topologically guaranteed bivariate solutions of under-constrained multivariate piecewise polynomial systems