small fix in verify existence of solutions algorithm