It now determines if a solution is impossible