solving systems of inequalities