Solving systems with no solution