ADD 2-sat and SCC