Hotfix for Algo to solve unit clauses properly