Fixed bug in inequality that must include equality
Added fix when there is no solution