Solving for no solution